Sokoban Solver Statistics

Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?			Floors	Boxes	Lower Bound	BP
	Sokoban Solver Statistics - Festival 3.1 - Sven Egevad Date: 2023-06-05
Solved levels	1072402	195256	34468	1872 of 1911	1474	9	22		Total	130409	30735	94054	138064

Filter

Solved levels	1072402	195256	34468	1872 of 1911	1474	9	22		Total	130409	30735	94054	138064

Sokoban Solver Statistics - Festival 3.1 10 minutes - Sven Egevad
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1	1729	122	2	✓				19	16	167	36	84	84
2	2035	872	2	✓				19	16	187	41	738	738
3	669	129	1	✓				19	16	148	12	69	101
4	951	148	2	✓				19	16	152	24	70	88
5	754	123	8	✓	✓			19	16	149	15	89	89
6	1541	500	14	✓				19	16	168	29	432	432
7	1449	482	5	✓				19	16	175	31	210	246
8	1068	291	1	✓	✓			19	16	144	8	215	261
9	430	49	1	✓	✓			19	16	160	8	37	39
10	1476	452	1	✓				19	16	155	17	322	354
11				✕				19	16	191	60	466	490
12	820	144	2	✓	✓			19	16	136	16	48	130
13	1992	503	6	✓	✓			19	16	168	14	381	385
14	2036	586		✓	✓			19	15	140	14	566	576
15	8125	1562	8	✓				19	16	180	36	1422	1444
16				✕			✓	19	16	182	40	215	229
17	2562	613	78	✓				19	16	155	29	363	369
18	1602	554	3	✓				19	16	174	39	462	464
19	2094	650	1	✓				19	16	146	30	538	624
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
20	2452	164	1	✓	✓			19	16	151	8	124	126
21	2085	541	3	✓				19	16	182	48	243	249
22	874	186		✓	✓			19	16	148	14	170	170
23	4883	1695	44	✓				19	16	200	42	1489	1565
24	3870	677	17	✓				19	16	197	57	51	373
25	415	87	1	✓	✓			19	16	129	17	83	87
26	256	56	1	✓	✓			13	13	89	32	8	18
27	288	38		✓	✓			10	10	59	16	24	24
28	276	46	1	✓	✓			11	8	50	14	18	22
29	350	63	1	✓	✓			11	14	94	15	19	33
30	3399	655	19	✓				18	16	136	26	399	643
31	2536	703	1	✓	✓			19	16	135	16	683	687
32	276	28		✓	✓			15	15	107	8	10	16
33	704	91	1	✓	✓			15	15	107	6	87	91
34	2186	494	208	✓				19	16	179	36	272	304
35	190	23		✓	✓			13	12	62	6	17	19
36	318	54	1	✓	✓			12	12	53	13	30	30
37	942	192	1	✓				19	16	128	8	188	190
38	426	62		✓	✓			17	16	94	16	22	36
39	1110	157	1	✓				19	16	147	12	121	133
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
40	882	54	1	✓	✓			19	16	146	8	54	54
41	120	15		✓	✓			11	9	51	12	1	15
42	4542	485	179	✓				19	16	238	90	1	71
43	879	246	2	✓				19	16	190	20	92	112
44	55	10	1	✓	✓			9	9	26	4	4	10
45	1571	442		✓	✓			19	16	126	8	438	440
46	1152	226	2	✓				19	16	182	41	158	164
47	3287	506	1	✓	✓			19	17	150	17	494	494
48	458	118	1	✓	✓			11	11	81	30	66	66
49	981	329	3	✓				19	16	213	34	143	165
50	286	41		✓	✓			11	12	65	21	1	15
51	69	7	1	✓	✓			13	11	53	4	1	7
52	384	108	1	✓	✓			12	12	64	16	24	48
53	154	56		✓	✓			12	9	60	14	24	28
54	335	80	1	✓	✓			12	9	54	14	20	24
55	814	266	65	✓	✓			14	14	104	28	56	72
56	128	14	1	✓	✓			13	13	88	31	4	12
57	208	24	1	✓	✓			13	13	89	31	4	10
58	148	36		✓	✓			13	13	89	31	4	12
59	566	110	1	✓	✓			13	13	87	29	16	24
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
60	210	24	1	✓	✓			11	13	82	29	6	14
61	410	76		✓	✓			11	13	80	27	14	30
62	414	80	1	✓	✓			11	13	80	27	4	30
63	318	60	1	✓	✓			11	13	80	27	8	32
64	276	28		✓	✓			12	12	78	25	14	16
65	174	28	1	✓	✓			12	12	78	25	10	16
66	245	54	1	✓	✓			9	9	44	16	32	32
67	141	32		✓	✓			9	9	43	16	24	24
68	128	34	1	✓	✓			9	9	42	15	22	22
69	210	48		✓	✓			9	9	43	16	22	24
70	208	34	1	✓	✓			9	9	42	15	30	30
71	107	30	1	✓	✓			8	8	30	8	16	20
72	94	36		✓	✓			8	8	30	8	16	20
73	261	44	1	✓	✓			11	11	53	8	8	16
74	453	76	1	✓	✓			13	13	84	16	32	36
75	61	10		✓	✓			11	11	53	8	4	10
76	43	9	1	✓	✓			7	7	18	2	3	7
77	39	9		✓	✓			6	9	20	2	5	9
78	43	15	1	✓	✓			7	9	18	2	1	15
79	91	22		✓	✓			11	11	46	4	4	16
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
80	164	52	1	✓	✓			15	15	83	8	40	44
81	475	72	1	✓	✓			17	7	61	13	24	24
82	1333	318	2	✓				17	13	100	20	40	54
83	237	28		✓	✓			10	10	50	8	20	22
84	295	32	1	✓	✓			11	11	64	12	20	22
85	291	34	1	✓	✓			11	11	65	12	20	22
86	507	44	1	✓	✓			17	17	64	8	16	16
87	103	12		✓	✓			13	9	38	6	12	12
88	148	16	1	✓	✓			13	9	48	8	14	16
89	86	12		✓	✓			13	9	48	8	12	12
90	122	22	1	✓	✓			13	11	56	10	12	16
91	232	42		✓	✓			13	11	56	10	14	18
92	343	40	1	✓	✓			13	13	48	8	16	16
93	203	47	1	✓	✓			14	9	84	25	35	35
94	249	51		✓	✓			14	9	84	25	35	35
95	271	69	1	✓	✓			14	9	84	25	35	35
96	203	52	1	✓	✓			17	9	75	25	24	30
97	225	48	1	✓				17	9	75	25	24	26
98	195	46	7	✓	✓			17	9	75	25	24	28
99	258	48	4	✓	✓			17	9	75	25	24	32
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
100	205	39	1	✓	✓			11	8	36	6	25	35
101	555	121	1	✓	✓			11	10	52	9	57	89
102	494	87	1	✓	✓			19	10	78	13	49	87
103	652	127	1	✓				19	11	78	16	69	81
104	907	207	41	✓				17	13	88	25	79	79
105	761	177	9	✓				17	13	88	25	79	83
106	1137	194	1	✓				19	16	114	13	144	164
107	459	57	7	✓	✓			17	12	108	33	17	21
108	340	41	1	✓	✓			17	12	108	33	17	23
109	157	33	2	✓	✓			16	12	107	32	13	17
110	157	31	2	✓	✓			16	12	107	32	13	15
111	483	58	13	✓				17	12	108	33	16	28
112	477	56	8	✓				17	12	108	33	16	28
113	603	135	1	✓	✓			12	13	67	12	111	119
114	866	132	1	✓	✓			13	14	81	12	112	114
115	811	85	19	✓				13	12	101	33	5	35
116	606	65	17	✓				13	12	101	33	5	27
117	564	66	2	✓				12	12	100	34	12	30
118	494	82	8	✓				12	12	100	34	12	28
119	178	22		✓	✓			17	11	103	24	6	10
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
120	49	15	1	✓	✓			16	11	98	25	5	13
121	166	18	1	✓	✓			17	11	102	23	8	12
122	179	23		✓	✓			16	11	94	21	5	15
123	106	18	1	✓	✓			17	11	98	19	10	14
124	319	61	1	✓	✓			16	11	92	19	5	15
125	206	38		✓	✓			17	11	92	13	12	16
126	723	136	201	✓				16	15	139	59	54	62
127	198	30	1	✓	✓			17	11	90	11	12	18
128	183	29	1	✓	✓			16	11	90	17	5	17
129	176	28		✓	✓			15	11	80	11	10	16
130	224	30	1	✓	✓			13	11	74	11	10	18
131	145	32		✓	✓			8	11	40	7	22	30
132	469	58	1	✓	✓			12	10	66	15	16	24
133	355	52	1	✓	✓			12	10	60	15	16	28
134	134	26		✓	✓			9	9	47	15	8	18
135	164	28	1	✓	✓			9	9	47	15	8	14
136	80	18	1	✓	✓			11	8	35	5	8	18
137	180	30		✓	✓			10	10	59	19	10	20
138	228	34	1	✓	✓			10	10	59	19	10	24
139	336	68	1	✓				11	11	76	24	12	26
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
140	530	98	1	✓				11	11	76	25	12	26
141	1220	263	1	✓				19	14	130	25	205	217
142	550	62	2	✓				11	13	85	28	12	36
143	656	86	9	✓				11	11	81	28	8	32
144	5071	1135	205	✓				19	16	170	31	1065	1067
145	722	276	1	✓	✓			19	13	122	14	252	258
146	1278	207	2	✓				16	12	94	17	103	169
147	308	54	1	✓	✓			11	11	74	23	12	26
148	400	58	1	✓	✓			11	11	74	23	12	28
149	206	30		✓	✓			11	11	72	23	12	16
150	206	26	1	✓	✓			11	11	72	23	12	20
151	418	64	3	✓	✓			11	11	72	23	12	32
152	664	213	1	✓				13	13	80	10	133	209
153	538	60	4	✓	✓			11	11	71	23	12	42
154	546	64	3	✓	✓			11	11	71	23	12	42
155	1018	122	5	✓	✓			12	12	83	27	14	48
156	976	146	44	✓				13	13	95	31	16	72
157	84	10		✓	✓			8	8	35	11	6	10
158	1354	144	45	✓				14	14	107	35	18	82
159	686	104	5	✓	✓			12	12	99	38	20	24
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
160	926	106	1	✓				13	13	119	46	24	32
161	1000	94	7	✓				14	14	139	54	28	36
162	214	26	1	✓	✓			11	11	62	21	12	20
163	392	72	2	✓	✓			12	12	74	25	14	18
164	1105	196	126	✓				17	17	125	43	24	30
165	696	90	2	✓				16	13	113	39	16	22
166	1392	176	18	✓				15	15	155	54	28	48
167	2622	274	66	✓				15	15	155	54	28	48
168	965	196	2	✓	✓			16	13	95	14	106	136
169	357	65	95	✓				19	10	120	37	9	43
170	1927	293	139	✓				19	13	163	46	23	69
171	2457	353	194	✓				19	13	163	47	41	85
172	2431	322	178	✓				19	13	163	49	58	102
173	1915	273	185	✓				19	13	163	50	39	105
174	159	34		✓	✓			8	9	32	9	18	26
175	667	70	1	✓	✓			17	9	84	20	36	40
176	987	112	3	✓				17	11	107	27	48	48
177	2857	1164	2	✓				19	16	175	45	1044	1074
178	3573	1470	2	✓				19	16	163	39	1384	1426
179	40	4	1	✓	✓			9	9	49	13	4	4
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
180	67	10		✓	✓			9	9	49	13	4	6
181	143	20	1	✓	✓			11	11	81	25	12	14
182	279	50	1	✓	✓			11	11	81	25	12	24
183	989	170	2	✓				13	15	119	41	26	38
184	268	53	4	✓	✓			13	11	66	21	37	41
185	174	57	1	✓	✓			9	10	38	9	35	43
186	140	45	1	✓	✓			9	10	36	9	29	37
187	1446	268	8	✓				13	13	109	32	36	70
188	639	120	86	✓				13	15	119	43	32	38
189	756	128	65	✓				13	13	109	32	44	54
190	24	8		✓	✓			7	7	21	5	4	8
191	238	36	1	✓	✓			9	9	45	13	12	14
192	490	86	1	✓	✓			11	11	77	25	24	24
193	156	31		✓	✓			15	9	53	9	21	31
194	256	44	1	✓	✓			19	9	70	12	28	38
195	274	66	1	✓	✓			9	12	42	9	40	48
196	3880	559	28	✓				19	16	198	61	51	387
197	7180	952	45	✓				19	16	198	62	52	396
198	5553	688	222	✓				19	16	198	63	54	468
199	1388	158	112	✓				17	15	190	71	14	68
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
200	442	69	5	✓	✓			19	10	99	20	59	61
201	1349	327	35	✓				13	13	78	25	93	99
202	1443	341	12	✓				17	17	139	27	223	247
203	428	48	1	✓	✓			13	9	74	26	12	28
204	622	90	4	✓				13	13	116	43	16	26
205	9693	1267	138	✓				19	16	191	61	51	367
206	5066	613	113	✓				19	16	199	64	53	457
207	7940	1043	64	✓				19	16	197	62	59	449
208	9947	1311	135	✓				19	16	190	61	51	347
209	2058	257	22	✓		✓ Festival 3.1		19	16	186	59	49	167
210	127	41	1	✓	✓			11	16	68	21	15	19
211	730	112	6	✓				13	13	101	37	14	34
212	220	30	2	✓	✓			11	11	80	30	12	20
213	244	36	12	✓				14	14	143	55	18	28
214	534	96	18	✓				17	9	101	37	16	38
215	700	92	10	✓				13	13	116	44	16	40
216	1924	216	232	✓				17	15	173	65	1	64
217	1246	124	191	✓				17	13	137	49	20	68
218	3292	396	330	✓				17	15	173	65	1	66
219	720	122	168	✓				17	13	137	49	20	64
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
220	948	142	101	✓				13	17	128	48	16	40
221	2030	232	157	✓				17	17	212	84	1	62
222	4834	410	192	✓				17	17	185	73	1	50
223	3280	284	152	✓				17	17	170	66	1	50
224	2916	260	282	✓				17	17	215	87	1	68
225	3876	412	280	✓				17	17	203	75	1	62
226	7346	781	94	✓				19	16	197	62	57	427
227	5961	672	138	✓				19	16	198	63	54	448
228	7575	890	278	✓				19	16	201	66	2	326
229	566	138	2	✓				17	12	102	12	60	90
230	726	214	1	✓	✓			19	13	98	22	170	188
231	6219	757	378	✓		✓ Festival 3.1		19	16	199	64	53	265
232	2382	222	127	✓				15	15	164	65	1	42
233	1626	178	234	✓				15	15	164	66	1	46
234	1655	623	1	✓				18	18	167	36	535	537
235	1375	445	3	✓				18	17	123	37	225	271
236	468	85	1	✓	✓			14	12	76	9	43	65
237	638	98		✓	✓			17	15	105	13	38	74
238	746	125	1	✓				18	13	111	12	103	115
239	1049	257	120	✓				12	16	109	23	135	163
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
240	1341	401	6	✓				19	15	124	25	287	321
241	499	142	1	✓				13	12	88	17	100	106
242	627	146	1	✓				13	12	88	17	100	108
243	1029	121	2	✓	✓			19	7	73	17	57	93
244	1148	136	2	✓	✓			19	7	72	17	52	98
245	241	58		✓	✓			13	9	69	21	6	18
246	88	16	1	✓	✓			11	11	71	21	2	16
247	282	22	1	✓	✓			11	11	71	21	2	18
248	67	16	1	✓	✓			11	11	70	21	4	16
249	807	106	11	✓				13	13	104	32	24	40
250	729	82	3	✓				13	13	105	34	14	36
251	54	14	1	✓	✓			9	10	49	13	2	6
252	53	10		✓	✓			9	9	27	4	4	10
253	51	14	1	✓	✓			8	8	21	4	4	12
254	45	12		✓	✓			8	8	21	4	4	12
255	45	14	1	✓	✓			8	8	21	4	4	12
256	154	28		✓	✓			11	10	44	6	18	24
257	452	82	1	✓	✓			15	12	66	8	70	70
258	186	18	1	✓	✓			13	11	68	8	10	16
259	449	160		✓				11	11	81	24	40	48
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
260	283	52	1	✓	✓			11	7	45	14	16	24
261	511	121	1	✓	✓			11	9	53	15	19	23
262	33	10		✓	✓			8	8	21	4	4	10
263	39	12	1	✓	✓			8	8	21	4	4	8
264	41	12		✓	✓			8	8	21	4	4	12
265	59	14		✓	✓			8	8	21	4	4	12
266	47	14	1	✓	✓			8	8	21	4	4	10
267	769	215		✓				14	12	82	16	177	179
268	461	102	201	✓				15	15	116	30	42	74
269	89	23	1	✓	✓			12	10	38	8	15	23
270	1113	164	213	✓				19	11	112	49	56	70
271	2840	759	450	✓				19	16	192	63	421	429
272	1523	474	2	✓	✓			19	16	155	19	356	422
273	2485	428	3	✓				19	16	163	28	300	330
274	2294	513	70	✓				19	16	164	29	299	329
275	217	28		✓	✓			13	10	58	14	14	16
276	95	14	1	✓	✓			11	10	54	14	14	14
277	281	46	1	✓	✓			13	10	64	14	16	20
278	3771	1372	33	✓				19	16	201	57	1232	1254
279	8165	1555	403	✓				19	16	183	41	1385	1423
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
280	1791	306	119	✓				16	16	156	56	92	104
281	700	116	1	✓	✓			13	13	79	13	46	96
282	412	70	1	✓	✓			11	13	72	14	20	32
283	1175	286	83	✓				15	15	109	29	54	68
284	402	75	1	✓	✓			11	13	66	13	59	61
285	678	125	4	✓				11	11	64	13	63	83
286	405	69	2	✓	✓			11	9	54	15	21	25
287	445	64	8	✓				13	13	80	20	26	30
288	442	80	1	✓	✓			15	15	101	8	18	34
289	1116	230		✓	✓			11	15	87	13	222	222
290	393	123	1	✓	✓			19	14	94	18	63	73
291				✕				19	16	183	49	499	555
292	2257	580	33	✓				18	15	138	27	446	462
293	954	170	478	✓				16	16	157	51	26	74
294	59	21	1	✓	✓			9	9	46	13	3	13
295	3586	807	203	✓				19	16	188	29	679	683
296	257	68	1	✓	✓			13	9	72	23	6	24
297	239	74	3	✓				13	13	114	41	14	36
298	50	8		✓	✓			7	7	23	6	4	8
299	588	96	2	✓				13	13	115	41	20	42
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
300	571	168	6	✓				13	13	115	41	12	40
301	5054	943	353	✓		✓ Festival 3.1		19	16	188	35	739	753
302	132	15	1	✓	✓			13	6	42	13	9	13
303	106	14		✓	✓			15	6	50	16	10	14
304	433	48	1	✓	✓			14	11	95	32	20	28
305	284	30	1	✓	✓			12	11	81	28	12	22
306	131	23	1	✓	✓			12	11	83	30	5	11
307	166	19		✓	✓			12	11	82	29	9	15
308	278	42	1	✓	✓			11	11	78	27	8	18
309	484	71	1	✓	✓			11	11	79	28	13	21
310	237	51	1	✓	✓			11	11	79	28	7	15
311	240	50	1	✓	✓			14	11	88	31	8	16
312	476	58	2	✓	✓			17	11	96	34	18	28
313	575	86	6	✓				17	11	94	32	16	32
314	94	26		✓	✓			8	9	29	3	14	16
315	60	17	1	✓	✓			7	9	26	3	15	17
316	164	47		✓	✓			7	9	27	4	15	19
317	119	26	1	✓	✓			10	9	31	5	18	24
318	199	50	1	✓	✓			10	10	41	7	32	42
319	326	83		✓	✓			10	11	50	9	51	65
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
320	427	109	1	✓	✓			10	12	59	11	75	93
321	158	22		✓	✓			13	11	63	5	10	12
322	140	17	1	✓	✓			11	9	46	5	5	13
323	110	17		✓	✓			11	9	44	5	3	11
324	211	22	1	✓	✓			9	12	58	16	6	14
325	226	36	1	✓	✓			9	12	56	16	8	18
326	420	76	5	✓	✓			13	13	80	24	12	24
327	842	92	21	✓	✓			13	13	80	24	12	30
328	404	70		✓	✓			13	13	72	24	16	24
329	272	80	1	✓	✓			12	9	48	12	68	72
330	184	22	1	✓	✓			9	9	47	15	4	16
331	333	47	1	✓	✓			10	9	53	17	5	25
332	333	44		✓	✓			11	9	59	19	4	20
333	329	52	1	✓	✓			11	11	76	24	32	32
334	166	32	2	✓	✓			11	11	72	24	32	32
335	43	15	1	✓	✓			13	8	55	17	5	11
336	58	19		✓	✓			13	8	55	18	5	11
337	344	61	1	✓	✓			13	8	54	17	5	19
338	117	15	1	✓	✓			11	10	61	18	5	15
339	322	26	1	✓	✓			11	10	61	18	4	14
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
340	707	66	74	✓				17	13	136	48	16	30
341	1149	163	242	✓				17	13	136	48	15	45
342	510	84	1	✓				17	9	91	25	8	24
343	1526	262	124	✓				17	17	183	51	24	44
344	113	18		✓	✓			15	8	65	17	6	14
345	417	46	2	✓				15	15	131	35	22	32
346	41	10	1	✓	✓			13	7	43	9	6	10
347	405	64	1	✓	✓			13	13	87	19	18	30
348	142	30	1	✓	✓			9	9	42	10	24	28
349	146	28		✓	✓			9	9	41	9	24	26
350	80	14	1	✓	✓			9	7	28	5	10	14
351	56	16		✓	✓			9	7	28	5	6	14
352	131	36	1	✓	✓			9	15	53	8	14	30
353	232	45		✓	✓			9	12	47	7	13	23
354	167	32	1	✓	✓			9	13	54	8	16	24
355	97	18		✓	✓			7	9	24	4	6	12
356	128	27	1	✓	✓			9	8	41	12	7	17
357	305	54	1	✓	✓			9	9	45	15	8	26
358	168	50		✓	✓			9	8	38	8	12	20
359	194	39	1	✓	✓			9	8	40	11	7	19
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
360	75	20		✓	✓			9	9	49	18	12	20
361	81	20	1	✓	✓			9	9	49	18	14	20
362	68	19	1	✓	✓			9	9	45	14	7	19
363	297	43		✓	✓			9	9	46	14	9	35
364	73	17	1	✓	✓			9	9	43	12	7	17
365	191	46		✓	✓			11	11	46	7	28	36
366	97	48	1	✓	✓			11	11	53	7	30	42
367	101	50	1	✓	✓			11	11	53	7	32	42
368	283	66		✓	✓			11	11	53	7	26	42
369	155	32	1	✓	✓			9	9	36	5	14	28
370	175	30		✓	✓			9	9	34	5	14	28
371	135	29	1	✓	✓			9	9	31	5	15	27
372	141	35		✓	✓			9	9	31	5	17	27
373	185	38	1	✓	✓			9	8	31	5	16	20
374	273	57		✓	✓			11	10	49	5	19	35
375	201	37	1	✓	✓			11	10	49	5	19	35
376	145	38	1	✓	✓			11	10	49	5	12	32
377	214	58		✓	✓			11	11	52	5	20	32
378	219	39	1	✓	✓			11	10	49	5	23	31
379	113	35		✓	✓			9	10	35	5	17	27
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
380	239	45	1	✓	✓			9	10	37	5	21	27
381	82	26		✓	✓			9	10	40	5	18	26
382	170	42	1	✓	✓			9	10	40	5	22	26
383	185	46	1	✓	✓			9	10	39	5	16	28
384	97	34		✓	✓			9	10	39	7	22	34
385	115	22	1	✓	✓			9	9	35	8	18	20
386	222	26		✓	✓			10	11	46	10	20	24
387	182	29	1	✓	✓			10	11	47	10	17	27
388	222	40	1	✓	✓			9	9	45	12	8	34
389	264	39		✓	✓			9	9	45	12	9	33
390	410	46	1	✓	✓			9	9	45	12	10	32
391	368	46	1	✓	✓			9	9	45	12	12	32
392	334	41		✓	✓			9	9	45	12	11	25
393	314	39	1	✓	✓			9	9	45	12	11	25
394	134	20	1	✓	✓			9	9	45	12	8	18
395	197	35		✓	✓			9	9	45	12	11	21
396	221	33	1	✓	✓			9	9	45	12	9	23
397	123	28		✓	✓			13	11	54	17	12	26
398	194	43	1	✓	✓			13	11	53	16	23	41
399	150	36	1	✓	✓			13	11	54	17	14	34
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
400	189	38	1	✓	✓			13	11	54	17	12	34
401	139	34	1	✓	✓			8	8	29	8	14	26
402	126	29	1	✓	✓			8	8	32	9	7	27
403	176	29		✓	✓			8	8	32	9	11	27
404	170	35	1	✓	✓			8	8	32	9	11	27
405	89	20		✓	✓			8	8	34	10	4	20
406	63	17	1	✓	✓			8	8	34	10	3	17
407	27	10		✓	✓			8	8	34	11	4	10
408	56	15	1	✓	✓			8	8	34	10	9	15
409	51	15		✓	✓			8	8	34	10	9	15
410	57	17	1	✓	✓			8	8	34	10	11	15
411	44	15	1	✓	✓			8	8	34	10	5	15
412	45	15		✓	✓			8	8	34	10	3	15
413	69	20	1	✓	✓			8	8	34	10	2	20
414	78	23		✓	✓			8	8	34	10	3	23
415	72	23	1	✓	✓			8	8	34	10	3	23
416	78	21		✓	✓			8	8	34	10	1	21
417	88	23	1	✓	✓			8	8	34	10	3	23
418	65	19	1	✓	✓			8	8	34	10	3	19
419	46	15		✓	✓			8	8	34	10	5	15
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
420	50	16	1	✓	✓			8	8	34	10	6	16
421	64	16		✓	✓			8	8	34	10	6	16
422	43	13	1	✓	✓			8	8	34	10	5	13
423	79	20		✓	✓			8	8	34	10	6	20
424	54	17	1	✓	✓			8	8	34	10	5	17
425	72	17	1	✓	✓			8	8	34	10	7	17
426	45	14		✓	✓			8	8	34	10	4	14
427	49	14	1	✓	✓			8	8	34	10	8	14
428	38	9		✓	✓			7	8	27	6	5	9
429	58	9	1	✓	✓			7	8	26	6	5	9
430	45	10		✓	✓			7	7	21	4	2	8
431	228	40	1	✓	✓			13	7	43	9	12	32
432	312	54		✓	✓			13	7	44	10	8	42
433	340	66	1	✓	✓			13	7	44	10	10	42
434	334	64	1	✓	✓			13	7	44	10	8	42
435	372	86		✓	✓			13	7	44	9	16	36
436	107	20	1	✓	✓			9	9	36	8	10	20
437	122	24	1	✓	✓			9	9	36	8	8	20
438	190	30		✓	✓			9	9	36	8	8	22
439	230	32	1	✓	✓			9	9	36	8	8	20
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
440	174	26		✓	✓			9	9	36	8	8	22
441	294	68	1	✓	✓			13	7	51	15	30	56
442	300	68	1	✓	✓			13	7	51	15	20	56
443	284	66		✓	✓			13	7	51	15	28	56
444	294	68	1	✓	✓			13	7	51	15	32	56
445	231	51		✓	✓			13	7	51	15	15	39
446	291	61	1	✓	✓			13	7	51	15	21	39
447	175	32	1	✓	✓			13	7	50	14	20	28
448	93	28		✓	✓			11	11	57	4	18	20
449	91	36	1	✓	✓			11	11	57	4	18	20
450	189	67		✓	✓			11	11	57	6	13	29
451	85	27	1	✓	✓			9	7	31	9	13	27
452	96	27	1	✓	✓			9	7	31	9	11	27
453	75	27		✓	✓			9	7	31	9	15	27
454	30	10	1	✓	✓			9	7	27	8	10	10
455	51	9		✓	✓			9	7	29	9	7	9
456	224	71	1	✓	✓			13	7	43	9	21	53
457	65	25	1	✓	✓			13	7	42	9	11	25
458	186	29		✓	✓			9	9	43	11	13	23
459	316	47	1	✓	✓			9	9	43	11	21	27
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
460	83	22		✓	✓			9	9	41	11	12	20
461	61	17	1	✓	✓			10	10	49	12	11	17
462	96	23		✓	✓			10	10	49	11	13	23
463	114	25	1	✓	✓			10	10	49	11	13	23
464	155	29	1	✓	✓			10	10	52	12	15	27
465	176	37		✓	✓			10	10	52	12	17	33
466	195	31	1	✓	✓			10	10	51	11	15	29
467	194	31	1	✓	✓			10	10	51	11	15	29
468	285	36		✓	✓			10	10	59	18	8	28
469	214	32	1	✓	✓			10	10	58	18	14	26
470	84	20		✓	✓			10	10	57	17	18	20
471	512	88	1	✓	✓			10	9	52	16	14	50
472	431	74	1	✓	✓			10	9	52	16	14	50
473	98	35		✓	✓			10	9	53	18	17	29
474	102	37	1	✓	✓			10	9	53	18	17	29
475	156	33	1	✓	✓			10	9	53	18	11	29
476	64	18		✓	✓			10	9	52	18	8	18
477	81	22	1	✓	✓			10	9	52	18	6	22
478	76	21	1	✓	✓			10	9	52	18	11	21
479	70	21		✓	✓			10	9	52	18	9	21
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
480	83	23	1	✓	✓			10	9	52	16	13	23
481	226	26	1	✓	✓			10	9	50	16	12	26
482	203	26		✓	✓			10	9	50	16	12	26
483	220	26	1	✓	✓			10	9	50	16	12	26
484	183	26	1	✓	✓			10	9	50	16	12	26
485	147	36		✓	✓			11	7	36	8	28	30
486	125	32	1	✓	✓			11	7	34	8	18	24
487	130	34		✓	✓			11	7	34	8	8	22
488	121	26	1	✓	✓			11	7	34	8	10	26
489	110	22		✓	✓			11	7	37	9	6	22
490	149	28	1	✓	✓			11	7	34	8	12	18
491	131	37	1	✓	✓			11	11	63	14	17	35
492	133	37		✓	✓			11	11	60	13	19	37
493	150	37	1	✓	✓			11	11	60	13	19	37
494	247	49		✓	✓			11	11	60	13	31	37
495	218	42	1	✓	✓			11	11	60	14	18	36
496	211	42	1	✓	✓			11	11	60	14	16	36
497	207	42		✓	✓			11	11	60	14	16	36
498	257	58	1	✓	✓			11	11	52	9	26	48
499	111	31		✓	✓			11	11	52	9	15	29
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
500	83	28	1	✓	✓			11	7	37	7	18	26
501	63	21		✓	✓			11	7	37	7	17	21
502	103	36	1	✓	✓			11	7	37	7	26	32
503	83	28	1	✓	✓			11	7	37	8	20	26
504	81	27		✓	✓			11	7	37	9	21	25
505	166	51	1	✓	✓			9	9	43	10	33	47
506	158	47		✓	✓			9	9	43	10	47	47
507	242	72	1	✓	✓			9	12	56	9	56	62
508	142	47	1	✓	✓			13	6	41	10	23	43
509	190	55		✓	✓			13	6	42	11	15	45
510	86	26	1	✓	✓			11	6	34	8	10	26
511	123	34		✓	✓			13	6	41	11	14	34
512	274	66	1	✓	✓			13	6	42	12	10	62
513	154	44	1	✓	✓			13	6	42	12	8	44
514	305	70		✓	✓			13	6	42	12	10	64
515	355	73	1	✓	✓			13	6	42	12	9	53
516	341	73	1	✓	✓			13	6	42	12	11	53
517	140	34		✓	✓			13	6	42	12	10	30
518	103	27	1	✓	✓			13	6	42	12	9	27
519	202	62	1	✓	✓			13	6	42	12	12	50
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
520	285	84		✓	✓			13	6	42	12	16	50
521	223	64	1	✓	✓			13	6	42	12	12	50
522	331	106	1	✓	✓			13	6	42	11	14	46
523	284	76		✓	✓			13	6	42	11	18	48
524	319	58	1	✓	✓			11	9	59	18	14	24
525	123	32	1	✓	✓			13	6	42	11	14	24
526	179	48		✓	✓			11	6	34	9	14	38
527	187	45	1	✓	✓			11	6	34	9	13	39
528	219	59	1	✓	✓			11	6	34	9	13	39
529	219	69	1	✓	✓			11	6	34	9	11	39
530	161	43		✓	✓			11	6	34	9	11	39
531	255	49	1	✓	✓			11	6	34	9	13	39
532	219	61	1	✓	✓			11	6	34	9	13	39
533	173	42	1	✓	✓			11	6	34	9	14	38
534	109	33		✓	✓			9	6	26	6	9	29
535	104	38	1	✓	✓			9	6	26	6	10	28
536	79	27		✓	✓			9	6	26	6	11	25
537	183	48	1	✓	✓			9	7	31	9	18	44
538	180	46	1	✓	✓			9	7	31	9	12	44
539	149	34	1	✓	✓			9	7	32	10	14	34
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
540	237	73	1	✓	✓			15	7	43	8	25	39
541	127	36		✓	✓			10	11	41	7	10	24
542	275	52	1	✓	✓			13	7	51	15	20	36
543	229	42		✓	✓			13	7	45	8	16	34
544	209	42	1	✓	✓			13	7	44	8	16	38
545	303	52	1	✓	✓			13	7	45	8	16	26
546	221	36		✓	✓			13	7	45	8	16	26
547	243	37	1	✓	✓			12	7	42	8	15	25
548	244	34		✓	✓			12	7	42	8	14	24
549	315	56	1	✓	✓			12	7	42	8	14	22
550	273	41		✓	✓			12	7	42	8	15	23
551	258	36	1	✓	✓			12	7	42	8	14	24
552	153	22	1	✓	✓			11	7	37	6	14	14
553	141	28		✓	✓			11	7	37	6	14	14
554	121	22	1	✓	✓			11	7	37	6	8	14
555	107	21		✓	✓			11	7	37	7	9	15
556	144	28	1	✓	✓			11	7	37	7	14	26
557	176	40		✓	✓			11	7	37	7	16	26
558	157	22	1	✓	✓			11	7	37	7	14	20
559	441	88	1	✓	✓			19	7	75	20	56	64
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
560	268	60	3	✓				11	15	108	38	12	34
561	536	144		✓	✓			19	7	77	22	58	68
562	302	76	1	✓	✓			19	7	65	16	48	56
563	399	95		✓	✓			17	7	61	16	47	53
564	483	132	1	✓	✓			19	7	77	21	56	64
565	228	54	1	✓	✓			13	7	44	9	28	34
566	381	88		✓	✓			17	7	67	18	56	62
567	514	132	1	✓	✓			20	7	80	22	60	68
568	253	66		✓	✓			16	7	62	16	52	60
569	159	40	1	✓	✓			13	7	43	6	26	28
570	172	24		✓	✓			9	9	42	11	6	24
571	176	24	1	✓	✓			9	8	33	10	4	22
572	77	16	1	✓	✓			9	7	31	8	8	16
573	45	10		✓	✓			8	7	26	7	4	10
574	118	20	1	✓	✓			9	8	36	11	4	14
575	70	12		✓	✓			9	7	32	9	6	12
576	245	52	1	✓	✓			13	7	45	8	26	30
577	143	48		✓	✓			11	7	41	8	22	30
578	136	40	1	✓	✓			11	7	41	8	22	28
579	109	38		✓	✓			11	7	41	8	20	26
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
580	120	40	1	✓	✓			11	7	39	8	18	26
581	144	42	1	✓	✓			11	7	39	8	20	28
582	126	26		✓	✓			8	7	28	8	10	20
583	128	26	1	✓	✓			8	7	28	8	12	22
584	127	24		✓	✓			8	7	28	8	12	20
585	114	30	1	✓	✓			8	7	28	8	14	20
586	51	14	1	✓	✓			8	7	28	8	10	14
587	122	28		✓	✓			9	7	26	4	18	26
588	106	30	1	✓	✓			9	7	26	4	22	30
589	119	27		✓	✓			9	7	26	4	7	25
590	129	25	1	✓	✓			9	7	26	4	11	25
591	131	32		✓	✓			13	7	45	8	26	26
592	175	50	1	✓	✓			13	7	45	9	22	34
593	276	52	1	✓	✓			13	7	45	9	26	28
594	203	58		✓	✓			13	7	46	10	28	32
595	345	63	1	✓	✓			13	7	46	10	27	33
596	92	24		✓	✓			13	7	43	6	18	24
597	214	34	1	✓	✓			13	7	44	8	30	30
598	290	70	1	✓	✓			13	7	46	10	24	32
599	158	42		✓	✓			13	7	43	9	30	40
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
600	183	46	1	✓	✓			13	7	43	8	28	46
601	151	34	1	✓	✓			13	7	43	8	24	34
602	114	28		✓	✓			13	7	44	8	20	28
603	115	28	1	✓	✓			13	7	44	8	20	28
604	151	32	1	✓	✓			13	7	44	9	20	32
605	167	38	1	✓	✓			13	7	44	9	24	34
606	187	34		✓	✓			13	7	44	10	24	34
607	163	35	1	✓	✓			13	7	44	10	23	33
608	123	18	1	✓	✓			11	8	51	14	14	14
609	211	30		✓	✓			11	8	51	14	14	14
610	114	20	1	✓	✓			11	8	51	14	14	14
611	216	38		✓	✓			11	8	50	14	14	14
612	192	30	1	✓	✓			11	8	50	14	14	14
613	159	35	1	✓	✓			11	6	35	12	19	27
614	50	14		✓	✓			11	6	35	11	4	10
615	53	14	1	✓	✓			11	6	35	11	6	14
616	95	15		✓	✓			10	7	36	9	9	9
617	91	16	1	✓	✓			10	8	44	12	12	12
618	271	56	1	✓	✓			10	8	44	12	12	26
619	185	30		✓	✓			10	8	43	12	2	16
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
620	112	18	1	✓	✓			10	6	28	7	2	18
621	118	20		✓	✓			10	6	29	8	2	20
622	139	28	1	✓	✓			10	6	29	8	2	24
623	100	26		✓	✓			10	6	28	7	8	20
624	48	15	1	✓	✓			10	6	27	8	3	15
625	96	22	1	✓	✓			10	6	29	8	6	22
626	122	24		✓	✓			10	6	29	8	6	24
627	213	61	1	✓	✓			11	7	41	10	21	43
628	127	32		✓	✓			11	7	41	10	20	24
629	82	26	1	✓	✓			9	7	31	7	10	26
630	92	25	1	✓	✓			9	7	31	6	17	25
631	79	21		✓	✓			9	7	31	6	7	19
632	146	36	1	✓	✓			13	7	51	14	16	28
633	159	40		✓	✓			13	7	51	14	16	24
634	141	24	1	✓	✓			13	7	51	14	18	24
635	123	30		✓	✓			13	7	47	14	20	30
636	217	45	1	✓	✓			13	7	51	16	13	41
637	59	16	1	✓	✓			6	9	26	5	6	10
638	145	38		✓	✓			7	9	32	7	10	22
639	215	48	1	✓	✓			8	9	38	9	14	30
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
640	332	82		✓	✓			9	9	44	11	18	44
641	43	8	1	✓	✓			6	9	26	6	4	8
642	194	40		✓	✓			7	9	33	9	6	28
643	313	60		✓	✓			8	9	39	11	8	32
644	566	96	1	✓	✓			9	9	45	13	10	62
645	448	83	1	✓	✓			7	13	51	15	17	43
646	68	15	1	✓	✓			7	7	19	3	3	9
647	44	11		✓	✓			6	7	17	3	3	9
648	149	31	1	✓	✓			9	8	42	14	9	15
649	193	29	1	✓	✓			9	8	34	10	9	15
650	115	17		✓	✓			9	6	24	4	7	15
651	55	11	1	✓	✓			9	6	24	4	5	11
652	54	14		✓	✓			9	6	24	4	6	12
653	128	20	1	✓	✓			9	7	27	5	8	16
654	99	19		✓	✓			9	8	30	6	9	17
655	170	28	1	✓	✓			9	9	33	7	10	24
656	217	37	1	✓	✓			9	10	36	8	11	27
657	368	68	1	✓	✓			9	11	39	9	12	34
658	487	85		✓	✓			9	12	42	10	13	39
659	127	18	1	✓	✓			9	7	29	6	8	16
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
660	141	19		✓	✓			9	8	34	8	9	17
661	155	20		✓	✓			9	9	39	10	10	18
662	124	15	1	✓	✓			9	7	30	8	7	15
663	133	19		✓	✓			9	7	30	7	5	13
664	194	26	1	✓	✓			9	8	33	8	6	14
665	153	29		✓	✓			9	9	36	9	7	17
666	174	32	1	✓	✓			9	10	39	10	8	22
667	225	37	1	✓	✓			9	11	42	11	9	27
668	92	22		✓	✓			9	7	30	7	4	18
669	120	18	1	✓	✓			9	7	29	7	2	18
670	201	45		✓	✓			9	8	34	7	7	31
671	335	50	1	✓	✓			11	13	79	12	24	28
672	102	23	1	✓	✓			9	9	38	8	7	21
673	138	25		✓	✓			9	9	39	9	7	19
674	211	41	1	✓	✓			9	9	40	9	7	23
675	90	29	1	✓	✓			9	9	42	11	7	21
676	247	53		✓	✓			9	9	43	11	7	25
677	161	27	1	✓	✓			9	8	33	6	7	25
678	89	24	1	✓	✓			9	7	30	4	6	18
679	145	37		✓	✓			9	7	30	4	15	29
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
680	143	38	1	✓	✓			9	9	41	8	30	36
681	219	54		✓	✓			9	9	40	6	20	26
682	231	58	1	✓	✓			9	9	40	6	20	26
683	85	23		✓	✓			9	7	29	5	11	23
684	83	17	1	✓	✓			9	7	29	4	13	17
685	113	20		✓	✓			9	7	31	8	14	18
686	102	20	1	✓	✓			9	7	31	8	14	18
687	419	64	1	✓				11	13	76	12	24	32
688	56	18		✓	✓			9	7	28	6	14	16
689	629	104	1	✓				11	13	76	14	24	38
690	590	84	1	✓				11	13	76	15	24	36
691	651	78	1	✓				11	13	76	15	24	38
692	338	52	1	✓	✓			11	11	53	14	18	24
693	281	29		✓	✓			11	11	53	14	17	23
694	333	34	2	✓	✓			11	11	52	14	12	22
695	132	29	1	✓	✓			11	11	52	14	15	21
696	79	20		✓	✓			8	8	29	5	8	16
697	97	26	1	✓	✓			8	8	29	5	14	26
698	117	26		✓	✓			8	8	29	5	12	26
699	125	28	1	✓	✓			8	8	29	5	14	26
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
700	147	40		✓	✓			8	8	29	5	20	26
701	169	30	1	✓	✓			8	8	29	6	20	26
702	118	26	1	✓	✓			8	8	29	6	8	26
703	113	26		✓	✓			8	8	29	6	8	26
704	121	31	1	✓	✓			8	8	31	7	13	27
705	96	27		✓	✓			8	8	28	6	9	25
706	76	25	1	✓	✓			8	8	27	5	9	25
707	76	25		✓	✓			8	8	27	5	9	25
708	87	23	1	✓	✓			8	8	27	6	9	23
709	91	23	1	✓	✓			8	8	27	6	11	23
710	89	26		✓	✓			8	8	30	7	10	26
711	89	26	1	✓	✓			8	8	30	7	12	26
712	143	33	1	✓	✓			8	8	31	7	17	27
713	81	21		✓	✓			8	8	30	7	13	21
714	94	29	1	✓	✓			8	8	29	5	17	29
715	97	26		✓	✓			8	8	29	6	16	26
716	97	30	1	✓	✓			8	8	28	5	14	30
717	165	35		✓	✓			8	8	28	5	15	35
718	209	41	1	✓	✓			8	8	32	7	19	39
719	150	41	1	✓	✓			8	8	32	7	19	31
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
720	128	31		✓	✓			8	8	32	7	19	31
721	160	44	1	✓	✓			8	8	30	6	20	38
722	102	30	1	✓	✓			8	8	31	8	14	26
723	155	34		✓	✓			7	9	29	8	16	32
724	128	32	1	✓	✓			7	8	27	6	10	30
725	92	29		✓	✓			8	8	28	9	15	29
726	63	24	1	✓	✓			8	8	25	7	14	24
727	63	24	1	✓	✓			8	8	25	5	18	24
728	120	34		✓	✓			9	10	31	6	24	30
729	133	31	1	✓	✓			9	10	33	7	15	29
730	112	33		✓	✓			13	6	28	6	13	31
731	123	42	1	✓	✓			12	6	28	7	20	36
732	127	38	1	✓	✓			11	6	27	7	22	36
733	115	26		✓	✓			10	6	23	5	12	24
734	131	31	1	✓	✓			10	6	25	4	9	27
735	104	24		✓	✓			10	7	31	7	18	24
736	110	26	1	✓	✓			10	7	31	7	18	26
737	115	26	1	✓	✓			10	7	31	7	18	24
738	78	26		✓	✓			8	7	26	6	10	24
739	87	23	1	✓	✓			8	7	26	6	11	23
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
740	44	23		✓	✓			8	7	26	6	13	23
741	149	41	1	✓	✓			8	8	29	9	15	37
742	71	13	1	✓	✓			8	8	28	4	9	13
743	63	24		✓	✓			9	7	32	10	12	24
744	4164	370	202	✓				17	18	209	79	7	136
745	238	49	1	✓	✓			11	7	40	12	15	39
746	169	47		✓	✓			11	7	38	11	15	41
747	130	43	1	✓	✓			11	7	38	11	17	37
748	142	48	1	✓	✓			11	7	38	9	4	22
749	113	28		✓	✓			11	7	38	9	4	26
750	99	24	1	✓	✓			11	7	39	10	10	22
751	107	26		✓	✓			11	7	39	10	10	22
752	80	26	1	✓	✓			11	7	39	10	10	18
753	98	20	1	✓	✓			11	7	33	7	10	20
754	84	37		✓	✓			13	9	34	3	5	27
755	77	35	1	✓	✓			9	13	37	3	3	35
756	94	47		✓	✓			12	8	31	3	3	31
757	90	26	1	✓	✓			9	10	29	3	2	24
758	63	25		✓	✓			9	13	38	3	13	25
759	90	24	1	✓	✓			9	7	26	3	4	24
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
760	114	48		✓	✓			8	12	36	3	12	46
761	106	34	1	✓	✓			14	8	38	3	12	32
762	94	26	1	✓	✓			7	10	26	3	2	26
763	63	24		✓	✓			6	13	27	3	20	24
764	105	26	1	✓	✓			11	7	32	6	8	24
765	90	37		✓	✓			13	8	34	3	23	37
766	189	53	1	✓	✓			11	11	42	3	17	29
767	96	24		✓	✓			8	10	27	3	6	22
768	123	29	1	✓	✓			11	7	32	4	19	29
769	124	38		✓	✓			11	7	32	4	28	34
770	103	40	1	✓	✓			11	7	32	4	36	40
771	154	51	1	✓	✓			11	7	32	5	39	43
772	190	64		✓	✓			11	7	32	5	20	46
773	143	47	1	✓	✓			11	7	32	6	39	43
774	181	73		✓	✓			11	7	32	6	23	57
775	78	23	1	✓	✓			9	7	26	6	19	23
776	97	24		✓	✓			7	10	28	6	20	24
777	168	40	1	✓	✓			7	12	38	7	24	30
778	91	30		✓	✓			7	10	30	7	20	26
779	210	57	2	✓	✓			7	10	40	14	13	41
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
780	173	45	1	✓	✓			7	9	35	11	19	21
781	204	50	1	✓	✓			7	9	34	10	10	48
782	157	40		✓	✓			7	9	33	9	14	34
783	182	43	1	✓	✓			7	9	33	11	15	41
784	97	22	1	✓	✓			7	9	33	10	16	18
785	114	24	1	✓	✓			7	9	33	10	14	18
786	120	24		✓	✓			7	9	32	9	14	20
787	143	33	1	✓	✓			9	8	33	4	25	33
788	107	30		✓	✓			8	8	26	4	24	24
789	98	26	1	✓	✓			7	8	24	4	20	20
790	77	16		✓	✓			7	7	20	3	12	14
791	76	21	1	✓	✓			7	7	23	6	9	17
792	62	17		✓	✓			7	9	22	4	9	15
793	120	25	1	✓	✓			7	9	29	6	11	25
794	97	27	1	✓	✓			6	8	21	5	7	17
795	132	38		✓	✓			8	8	34	10	14	24
796	106	27	1	✓	✓			8	7	28	8	13	21
797	61	19		✓	✓			8	6	22	5	7	17
798	283	50	1	✓	✓			11	9	45	9	18	32
799	155	46		✓	✓			9	9	38	7	16	44
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
800	159	50		✓	✓			9	9	38	7	12	44
801	210	59	1	✓	✓			9	9	36	8	15	41
802	232	47	1	✓	✓			9	9	37	8	15	35
803	92	22		✓	✓			9	9	39	8	16	22
804	534	113	1	✓	✓			10	10	48	7	57	97
805	298	80		✓	✓			10	10	47	6	56	78
806	314	94	1	✓	✓			10	10	46	6	52	80
807	667	122	1	✓	✓			10	10	48	7	66	100
808	424	76		✓	✓			9	10	43	7	60	66
809	580	94	1	✓	✓			9	10	43	7	62	72
810	416	66		✓	✓			9	10	42	7	52	58
811	269	42	1	✓	✓			9	8	31	4	24	30
812	149	24		✓	✓			8	8	28	4	20	22
813	139	25	1	✓	✓			9	8	31	4	23	25
814	345	41		✓	✓			9	8	30	4	25	33
815	164	36	1	✓	✓			9	8	33	5	30	34
816	137	30		✓	✓			8	8	29	4	24	28
817	123	26		✓	✓			8	8	28	4	20	24
818	104	19	1	✓	✓			8	8	27	3	17	19
819	150	22		✓	✓			8	8	26	3	18	20
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
820	74	22	1	✓	✓			8	8	26	3	20	22
821	1520	150	147	✓				17	13	141	44	32	104
822	938	74	1	✓				15	15	133	38	28	50
823	4942	475	208	✓				19	17	240	88	4	113
824	3335	785	5	✓				16	13	121	25	659	663
825	4002	372	512	✓				19	17	215	82	82	104
826	515	76	7	✓				11	13	75	24	28	40
827	980	144	24	✓				13	13	97	32	32	38
828	2020	208	193	✓				17	13	142	46	32	136
829	2140	328	422	✓		✓ Festival 3.1		17	13	139	42	20	122
830	383	70	3	✓	✓			15	9	87	31	18	32
831	426	78	1	✓	✓			13	11	92	32	20	34
832	1526	188	141	✓				13	13	111	38	24	66
833	232	26	1	✓	✓			13	9	62	12	24	24
834	225	28		✓	✓			12	9	58	12	24	24
835	237	28	1	✓	✓			11	9	41	8	16	22
836	109	22	1	✓	✓			11	9	52	12	10	16
837	5350	348	227	✓				17	17	224	93	1	56
838	382	93	1	✓	✓			13	9	61	14	85	91
839	467	114	1	✓	✓			13	9	59	12	100	100
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
840	1177	195	36	✓				15	13	79	14	175	189
841	641	166	1	✓	✓			13	15	116	18	68	88
842	2981	1146	197	✓				19	19	258	56	268	298
843	2235	644	203	✓				17	13	152	46	454	476
844	1860	357	4	✓				24	9	113	23	189	209
845	192	46		✓	✓			8	9	34	8	24	30
846	209	40	1	✓	✓			9	9	39	12	18	30
847	281	70	1	✓	✓			14	14	92	12	44	52
848	364	54	4	✓	✓			10	9	44	14	20	40
849	120	40	1	✓	✓			8	9	34	10	12	16
850	661	118	1	✓	✓			12	11	70	22	28	36
851	370	64	1	✓	✓			10	11	60	20	20	32
852	230	44		✓	✓			10	11	58	18	20	28
853	121	24	1	✓	✓			8	9	34	10	12	16
854	270	54	1	✓	✓			10	9	44	14	20	34
855	542	72	1	✓	✓			15	9	74	17	6	28
856	519	96	4	✓	✓			12	10	55	16	22	36
857	233	50		✓	✓			10	10	42	10	22	30
858	258	45	2	✓	✓			12	9	55	16	15	35
859	724	92	5	✓	✓			15	10	65	19	16	46
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
860	759	152	1	✓				19	11	100	19	86	102
861	584	117	1	✓				9	13	66	19	71	85
862	802	112	60	✓				15	17	115	33	4	54
863	1880	320	147	✓				15	17	129	40	12	56
864	731	112	4	✓				13	15	96	24	20	34
865	798	60	5	✓				19	19	152	40	36	44
866	963	100	8	✓	✓			11	11	79	26	12	32
867	980	204	8	✓				13	13	99	30	102	124
868	136	28		✓	✓			11	6	27	4	16	28
869	132	40	1	✓	✓			14	7	35	6	12	38
870	178	35	1	✓	✓			15	6	43	7	9	27
871	1255	314	1	✓				16	12	90	18	166	188
872	187	30	1	✓	✓			9	9	39	10	8	14
873	91	16		✓	✓			9	9	34	8	8	16
874	251	54	9	✓	✓			13	13	77	24	8	28
875	305	54	1	✓	✓			11	11	53	15	6	20
876	69	16		✓	✓			9	9	33	8	4	12
877	62	14	1	✓	✓			7	9	32	8	10	10
878	502	61	6	✓				17	9	82	25	35	39
879				✕				19	19	258	60	504	548
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
880	2093	445	2	✓				15	12	96	22	263	433
881	2457	649	2	✓				24	10	114	26	497	631
882	363	124	1	✓	✓			11	14	73	9	116	124
883	373	126	1	✓	✓			10	14	68	10	120	126
884	104	15		✓	✓			9	7	33	9	7	9
885	144	17	1	✓	✓			13	7	51	15	11	13
886	334	51	2	✓	✓			9	13	69	21	15	33
887	756	65	60	✓				13	13	105	33	23	41
888	334	39	13	✓				13	13	108	36	17	27
889	400	45		✓	✓			9	13	72	24	13	23
890	326	39	1	✓	✓			9	11	54	14	11	21
891	245	30	1	✓	✓			9	10	50	14	10	18
892	212	33		✓	✓			11	11	72	24	11	19
893	208	43	2	✓	✓			9	9	46	14	9	35
894	77	24	1	✓	✓			9	9	46	14	8	18
895	470	102	1	✓	✓			13	10	61	12	64	80
896	833	110	1	✓	✓			13	11	73	16	48	54
897	407	97	1	✓	✓			11	11	65	16	45	49
898	281	72	1	✓				11	11	68	18	50	58
899	541	59	19	✓				9	17	95	30	19	51
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
900	365	46	3	✓	✓			9	17	97	33	16	32
901	330	26	1	✓	✓			17	9	94	30	18	24
902	70	14	1	✓	✓			9	11	63	22	4	8
903	244	40	1	✓	✓			11	11	80	28	8	16
904	75	25	2	✓	✓			13	12	108	43	7	21
905	1440	116	159	✓				13	13	119	47	4	28
906	101	32	1	✓	✓			14	9	64	24	8	24
907	224	50	3	✓	✓			15	9	70	26	8	32
908	109	34	1	✓	✓			15	9	70	26	8	24
909	148	22	1	✓	✓			7	11	40	10	14	22
910	803	166	274	✓				13	15	81	23	14	54
911	462	44	3	✓	✓			11	11	64	16	24	32
912	228	48	1	✓	✓			7	12	46	13	20	40
913	314	66	3	✓	✓			11	15	77	24	24	38
914	269	46	1	✓	✓			11	11	45	7	24	32
915	275	44		✓	✓			10	11	48	9	18	30
916	599	90	2	✓	✓			11	11	46	13	12	30
917	102	18	1	✓	✓			9	7	31	9	4	16
918	264	32		✓	✓			13	7	49	15	8	20
919	295	52	5	✓	✓			9	11	57	19	8	32
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
920	584	90	34	✓				13	11	89	31	16	44
921	1084	112	203	✓				13	11	88	30	16	48
922	594	70	34	✓	✓			9	13	66	22	8	36
923	275	58	5	✓				11	11	81	28	8	34
924	262	42	1	✓	✓			13	8	47	13	4	16
925	214	54	2	✓	✓			9	9	45	16	16	32
926	293	53	1	✓	✓			10	12	55	14	21	31
927	709	154	6	✓				11	11	70	24	40	46
928	113	23	1	✓	✓			11	6	24	3	9	23
929	187	33		✓	✓			12	6	32	6	9	19
930	875	214	1	✓	✓			16	16	123	20	80	118
931	327	55	2	✓	✓			16	10	54	9	27	51
932	1200	228	1	✓				18	10	91	14	218	224
933	304	58		✓	✓			22	6	62	12	12	44
934	140	28	1	✓	✓			10	8	38	6	2	28
935	177	32		✓	✓			11	8	43	8	2	30
936	118	30	1	✓	✓			11	8	44	9	4	30
937	270	46	1	✓	✓			11	8	44	9	10	24
938	151	28	1	✓	✓			11	8	45	11	8	24
939	134	24		✓	✓			11	8	42	8	12	18
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
940	161	37	1	✓	✓			11	8	42	7	7	17
941	569	108	1	✓	✓			13	11	67	12	6	28
942	592	118	1	✓	✓			13	11	67	12	6	30
943	368	58	1	✓	✓			13	11	67	14	6	30
944	610	73	1	✓	✓			13	11	69	15	15	33
945	419	130	1	✓	✓			17	14	89	14	62	96
946	391	46	1	✓	✓			14	14	80	12	20	32
947	553	110	6	✓				15	15	140	49	20	30
948	852	128	11	✓				14	14	125	45	18	30
949	581	76	6	✓				13	13	113	41	16	26
950	268	46	1	✓	✓			12	12	74	17	14	20
951	511	124	3	✓	✓			10	10	49	12	98	112
952	28	11	1	✓	✓			6	9	22	7	9	11
953	338	74	1	✓	✓			13	13	77	20	44	52
954	223	42		✓	✓			9	13	72	24	12	32
955	324	65	1	✓	✓			9	10	44	11	17	31
956	346	53	2	✓	✓			13	8	57	16	13	25
957	608	75	11	✓	✓			15	8	67	19	15	33
958	647	75	51	✓	✓			17	8	77	22	17	39
959	417	121	3	✓	✓			11	16	55	13	101	117
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
960	452	149		✓	✓			12	12	56	10	145	147
961	464	144	1	✓	✓			12	12	60	11	118	138
962	308	46		✓	✓			9	9	40	9	32	34
963	245	40	1	✓	✓			10	10	46	8	34	38
964	1054	92	3	✓				13	13	97	24	46	50
965	1274	200	274	✓				13	13	97	26	46	70
966				✕			✓	17	13	121	41	68	82
967	648	149	1	✓	✓			14	11	59	5	99	145
968	252	36		✓	✓			6	13	37	8	12	22
969	231	40	1	✓	✓			6	13	38	8	8	26
970	264	54	1	✓	✓			13	8	51	12	12	22
971	241	48		✓	✓			17	9	61	11	16	34
972	250	57	1	✓	✓			15	7	43	9	27	39
973	261	46	2	✓	✓			15	7	45	11	10	42
974	399	78	1	✓	✓			19	9	65	15	18	42
975	575	88	2	✓	✓			19	9	65	16	18	54
976	377	84	2	✓	✓			17	9	57	13	16	50
977	745	80	9	✓				11	17	122	36	10	50
978	1413	282	172	✓				19	17	184	54	20	58
979	2101	204	44	✓				17	17	170	54	16	66
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
980	600	128	11	✓	✓			14	11	75	16	8	80
981	627	118	10	✓	✓			14	11	74	16	8	72
982	411	48	1	✓	✓			11	10	46	6	18	42
983	191	44	1	✓	✓			11	10	46	6	18	32
984	2182	366	162	✓				19	11	115	26	64	102
985	1619	190	168	✓				15	11	92	24	64	88
986	1003	169	41	✓				15	11	91	23	57	89
987	402	136	1	✓				13	12	83	11	20	84
988	555	129	201	✓	✓			15	13	85	28	19	29
989	396	85	205	✓				15	13	85	29	19	35
990	615	62	1	✓	✓			11	11	73	24	32	34
991	733	130	1	✓	✓			9	15	85	30	34	42
992				✕			✓	17	17	187	63	212	244
993				✕			✓	17	17	184	61	190	226
994	148	48		✓	✓			8	10	39	8	10	44
995	520	104	1	✓	✓			17	15	87	16	4	70
996	154	49	1	✓	✓			14	7	46	5	35	49
997	450	98	1	✓	✓			14	13	93	10	70	92
998	454	102	1	✓	✓			14	13	92	12	70	84
999	360	114	3	✓				13	13	100	32	16	42
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1000	900	218	24	✓				15	15	120	32	52	76
1001	1014	184	211	✓				14	13	113	32	28	96
1002	1563	440	14	✓				15	13	112	25	144	164
1003	560	131	2	✓	✓			17	8	66	13	25	83
1004	194	25		✓	✓			11	10	51	5	13	23
1005	188	31	1	✓	✓			9	12	49	9	9	25
1006	500	76	2	✓	✓			13	10	66	11	32	54
1007	178	29		✓	✓			10	8	32	4	11	29
1008	115	22	1	✓	✓			10	6	23	4	8	18
1009	146	33	1	✓	✓			11	6	26	5	13	23
1010	220	50		✓	✓			13	6	33	6	18	30
1011	279	66	1	✓	✓			11	10	56	12	16	36
1012	269	76	1	✓	✓			11	11	59	11	20	42
1013	201	41	1	✓	✓			10	9	39	9	11	33
1014	1381	240	166	✓				13	15	114	26	78	112
1015	1625	299	54	✓				13	15	115	28	73	119
1016	1378	204	3	✓				17	17	137	16	60	122
1017				✕				19	17	207	70	225	577
1018				✕			✓	19	17	211	70	2	168
1019	1250	138	2	✓				19	16	150	20	36	50
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1020	395	83	1	✓	✓			10	9	52	18	15	31
1021	622	80	131	✓				15	15	101	33	12	54
1022	108	24	1	✓	✓			7	9	31	11	4	18
1023	1282	208	283	✓				13	13	101	30	28	88
1024	295	80	1	✓	✓			15	7	47	12	6	26
1025	250	51	1	✓	✓			11	9	44	8	15	47
1026	351	97	2	✓				13	13	69	19	9	39
1027	95	20	1	✓	✓			11	11	61	12	12	14
1028	263	58	1	✓	✓			11	17	91	21	14	22
1029	3347	384	232	✓				19	17	176	44	38	66
1030	271	44	13	✓	✓			10	12	56	13	16	32
1031				✕				19	12	113	26	32	80
1032	888	118	231	✓				19	11	109	24	34	68
1033	846	136	138	✓				19	11	115	25	34	56
1034	450	97	1	✓	✓			13	9	55	15	53	59
1035	830	199	123	✓				13	17	115	32	103	151
1036	697	195	10	✓				13	14	104	34	101	121
1037	923	114	1	✓	✓			19	11	101	16	6	38
1038	576	60	4	✓	✓			13	13	85	20	24	28
1039	1422	405	3	✓	✓			18	13	109	17	293	369
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1040	509	96	28	✓				13	13	108	36	20	68
1041				✕			✓	19	17	203	36	982	1160
1042	2666	1241	1	✓				19	17	207	38	895	995
1043	1435	206	203	✓				19	17	139	29	44	96
1044	647	210	8	✓				11	13	63	13	40	62
1045	285	60	2	✓	✓			11	9	47	9	24	42
1046	404	98	3	✓	✓			15	9	69	19	10	40
1047	651	80	2	✓				16	16	105	24	56	60
1048	4730	1595	239	✓				19	17	202	41	961	1337
1049	910	345	1	✓				19	9	98	16	253	335
1050	448	163	1	✓	✓			19	7	75	13	145	155
1051	314	51	1	✓	✓			13	14	75	8	35	43
1052	311	54	1	✓	✓			12	12	64	16	16	36
1053	322	106		✓	✓			17	7	62	15	100	100
1054	162	24	1	✓	✓			9	7	32	8	6	18
1055	1059	240	104	✓				12	13	83	18	226	228
1056	123	27	1	✓	✓			13	7	38	9	1	23
1057	448	54	1	✓	✓			19	9	75	14	2	44
1058	1858	204	209	✓				19	15	142	28	4	60
1059	592	133	1	✓	✓			13	9	49	6	99	125
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1060	1451	289	2	✓	✓			15	13	78	12	227	259
1061	1389	265	1	✓	✓			15	13	75	12	217	249
1062	966	221	15	✓				13	17	99	12	205	211
1063	540	119	1	✓	✓			11	9	51	12	11	49
1064	846	190	17	✓				15	10	82	24	20	78
1065	402	98	3	✓	✓			13	10	62	18	14	46
1066	821	178	4	✓				13	12	73	20	16	62
1067	452	82	1	✓	✓			13	11	66	18	12	48
1068	420	86	2	✓	✓			9	9	43	11	16	62
1069	120	16	1	✓	✓			9	7	30	8	10	10
1070	330	50	1	✓	✓			17	7	61	16	20	34
1071	502	98	38	✓	✓			17	7	62	18	20	48
1072				✕				17	13	127	38	40	86
1073	222	42	1	✓	✓			15	7	57	16	8	34
1074	336	39	1	✓	✓			15	7	58	17	9	25
1075	431	68	1	✓	✓			10	12	60	13	12	40
1076	1201	180	15	✓				19	12	126	29	24	62
1077	1224	134	21	✓				19	12	123	28	24	76
1078	685	82	272	✓				19	11	109	24	20	58
1079	610	130	6	✓	✓			19	11	94	18	42	68
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1080	1130	340	2	✓				19	17	117	22	228	246
1081	303	42	5	✓	✓			13	11	51	12	14	36
1082	385	66	8	✓	✓			13	11	49	11	14	42
1083	548	130	4	✓	✓			17	8	58	12	110	122
1084	350	32		✓	✓			15	9	56	10	8	30
1085	202	28	1	✓	✓			12	9	41	7	4	26
1086	434	56	1	✓	✓			17	9	65	12	8	32
1087				✕				17	17	149	29	24	74
1088	241	39	1	✓	✓			11	9	51	14	21	29
1089	1607	596	3	✓				15	15	149	50	382	400
1090	572	128	5	✓	✓			13	13	81	16	20	64
1091	356	78	1	✓	✓			13	13	72	14	20	66
1092	425	78	1	✓	✓			15	11	72	12	20	52
1093	383	72	1	✓	✓			13	11	64	12	20	52
1094	487	92	18	✓	✓			13	11	67	16	40	66
1095	605	92	5	✓	✓			13	11	63	14	40	64
1096	551	102	1	✓	✓			13	11	63	14	40	66
1097	271	60	1	✓	✓			13	11	58	12	32	38
1098	235	86	1	✓	✓			18	11	78	10	24	68
1099	339	118	1	✓	✓			19	11	81	10	24	80
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1100	169	26	1	✓	✓			7	14	39	7	12	26
1101	452	81	6	✓	✓			13	14	84	16	25	53
1102	459	70		✓	✓			15	11	81	9	10	30
1103	173	57	1	✓	✓			10	10	43	9	37	49
1104	278	71	1	✓	✓			10	11	47	9	25	61
1105	223	63		✓	✓			11	10	49	9	43	53
1106	166	42	1	✓	✓			10	11	47	9	38	42
1107	591	140	123	✓	✓			17	8	66	15	50	86
1108	1708	454	183	✓				17	15	133	30	100	224
1109	2789	540	429	✓		✓ Festival 3.1		19	17	183	42	98	276
1110	2848	354	255	✓				19	17	183	44	102	168
1111	602	227	1	✓	✓			13	15	87	22	135	211
1112				✕		✓ Festival 3.0		17	15	138	43	139	239
1113	179	44	1	✓	✓			15	11	83	16	14	32
1114	1631	437	172	✓				14	15	117	32	129	195
1115	348	57	1	✓	✓			14	11	50	7	23	49
1116	177	36		✓	✓			14	9	47	7	12	30
1117	271	38	1	✓	✓			14	9	48	8	10	32
1118	224	39	1	✓	✓			14	9	50	10	15	35
1119	132	30		✓	✓			11	6	32	9	8	22
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1120	398	77	2	✓	✓			11	11	65	18	19	51
1121	379	80	2	✓	✓			11	11	65	18	16	48
1122	980	130	217	✓				23	13	151	41	40	74
1123	862	90	203	✓				21	13	149	43	40	60
1124	879	107	2	✓	✓			19	11	87	13	11	39
1125	1673	190	38	✓				19	11	115	28	26	40
1126	485	55	1	✓	✓			15	11	72	12	9	37
1127	240	52		✓	✓			12	12	59	11	34	50
1128	889	97	2	✓	✓			15	14	96	17	11	51
1129	629	169	1	✓	✓			11	15	76	19	123	149
1130	585	205	1	✓	✓			13	11	74	17	177	193
1131	516	75	4	✓	✓			13	12	79	24	31	41
1132	466	72	3	✓	✓			13	11	78	24	26	36
1133	460	80	5	✓	✓			13	10	73	23	28	38
1134	621	50	3	✓				14	14	94	34	4	24
1135	187	24	1	✓				15	15	107	38	4	18
1136	321	43	1	✓	✓			17	7	54	13	17	23
1137	549	72	6	✓				17	13	114	29	30	58
1138	183	43	1	✓	✓			11	9	51	15	13	33
1139	1065	177	27	✓				12	17	117	35	27	55
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1140	66	21	1	✓	✓			9	8	26	5	5	17
1141	446	70	1	✓	✓			9	15	58	11	10	44
1142	129	23		✓	✓			9	10	38	5	5	13
1143	1173	220	34	✓				17	17	144	27	40	112
1144	1079	188	8	✓				17	17	143	27	52	104
1145	2314	206	205	✓				19	17	171	34	68	118
1146	1930	256	220	✓		✓ Festival 3.1		19	15	167	36	72	118
1147	1972	238	16	✓				19	15	168	44	72	76
1148	214	36	1	✓	✓			11	11	58	12	20	28
1149	1080	164	2	✓	✓			13	13	88	19	40	54
1150	1290	196	7	✓				15	15	121	27	90	94
1151	378	58	36	✓	✓			11	11	70	24	10	36
1152	519	100	1	✓	✓			13	11	75	12	32	54
1153	789	164	1	✓				17	11	99	16	64	88
1154	1345	251	19	✓				19	11	111	19	39	73
1155	2054	290	213	✓				19	15	148	27	50	126
1156	174	39	1	✓	✓			9	10	32	9	9	31
1157	204	57	2	✓	✓			10	11	38	11	11	47
1158	197	53	1	✓	✓			11	12	45	13	13	39
1159	347	83	2	✓	✓			12	13	51	15	15	45
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1160	373	65	17	✓	✓			13	14	57	17	17	51
1161	253	86	1	✓	✓			17	11	65	12	18	60
1162	753	150	13	✓	✓			17	17	119	24	36	106
1163	53	13		✓	✓			9	7	23	5	9	13
1164	174	34	2	✓	✓			17	7	48	11	18	32
1165	543	112	112	✓				19	13	121	26	40	78
1166	400	82	9	✓	✓			17	13	107	22	36	64
1167	84	21	1	✓	✓			8	9	26	7	7	21
1168	639	81	21	✓	✓			14	15	63	19	19	57
1169	21	7		✓	✓			8	9	27	7	7	7
1170	40	11	1	✓	✓			7	8	19	5	5	11
1171	50	15		✓	✓			6	8	17	3	5	15
1172	489	85	8	✓				15	9	78	21	39	57
1173	963	164	12	✓				14	9	71	19	36	64
1174	744	91	3	✓	✓			13	9	65	17	31	55
1175	493	65	1	✓	✓			15	9	78	21	39	51
1176				✕			✓	19	17	204	58	88	208
1177	75	12		✓	✓			9	7	28	5	8	12
1178	460	82	4	✓				17	13	82	18	32	54
1179	108	21	1	✓	✓			9	7	27	6	9	19
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1180	301	58	1	✓	✓			9	13	57	14	18	38
1181	165	32		✓	✓			9	7	28	5	8	22
1182	288	57	1	✓	✓			17	7	52	9	27	37
1183	246	57	1	✓	✓			17	7	53	10	25	49
1184	386	89	2	✓	✓			10	15	73	17	23	69
1185	910	165	201	✓	✓			13	15	111	26	35	91
1186	111	14	1	✓	✓			11	7	33	5	10	14
1187	1779	260	388	✓	✓			17	15	117	27	30	102
1188	180	23	1	✓	✓			11	11	50	8	11	19
1189	356	66		✓	✓			11	10	51	9	36	48
1190	143	44	1	✓	✓			11	9	43	8	32	38
1191	312	29	1	✓	✓			11	10	45	8	9	19
1192	151	15		✓	✓			8	9	32	6	7	11
1193	600	70	2	✓	✓			21	10	91	16	18	52
1194	1054	70	22	✓	✓			19	10	88	18	16	40
1195	308	35	3	✓	✓			15	9	66	13	17	31
1196	1462	132	347	✓				15	17	136	27	32	74
1197	970	164	2	✓				19	9	85	14	96	120
1198	896	168	1	✓	✓			19	9	87	14	122	150
1199	496	99	1	✓	✓			15	9	65	10	53	75
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1200	877	150	32	✓				15	17	138	24	118	138
1201	73	18		✓	✓			9	7	26	6	4	16
1202	547	94	3	✓				17	14	104	20	20	52
1203	131	28	1	✓	✓			9	7	33	9	6	28
1204	200	39		✓	✓			14	7	56	17	11	37
1205	327	58	1	✓	✓			13	7	53	17	10	42
1206	250	50	1	✓	✓			13	7	47	11	10	32
1207	199	46		✓	✓			19	7	66	12	30	46
1208	547	72	7	✓				19	13	125	20	48	68
1209	490	68	4	✓				19	13	126	22	48	64
1210	603	96	1	✓	✓			14	11	59	9	78	92
1211	1221	178	7	✓				19	14	114	20	140	162
1212	840	147	5	✓	✓			13	13	72	20	11	43
1213	518	88	3	✓	✓			13	12	62	14	8	44
1214	1067	198	145	✓				19	17	115	25	12	74
1215	1230	164	1	✓	✓			15	15	105	21	104	118
1216	1717	208	8	✓				17	15	122	25	50	84
1217	523	108	3	✓	✓			17	15	115	17	36	68
1218	409	68	2	✓	✓			16	9	73	13	18	40
1219	642	88	6	✓	✓			17	9	80	16	30	50
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1220	225	41		✓	✓			15	7	49	9	13	35
1221	898	156	7	✓				15	13	105	20	28	78
1222	206	44	1	✓	✓			9	11	42	10	4	26
1223	143	38		✓	✓			9	9	36	10	4	20
1224	103	20	1	✓	✓			9	8	31	8	6	18
1225	546	124	1	✓	✓			17	8	65	16	12	44
1226	2580	411	291	✓				17	15	144	39	33	101
1227	847	191	1	✓	✓			13	13	68	16	7	39
1228	2241	294	202	✓				13	17	122	36	14	66
1229	225	34	2	✓	✓			13	13	68	13	6	26
1230	204	34		✓	✓			9	10	39	7	18	28
1231	282	75	1	✓	✓			13	10	60	13	39	67
1232	357	98	2	✓	✓			13	10	60	13	44	68
1233	513	104	1	✓	✓			12	10	56	11	40	54
1234	843	232	8	✓	✓			16	11	80	13	174	206
1235	1300	452	1	✓				15	14	116	24	348	400
1236	1785	468	97	✓				17	17	162	30	304	420
1237	94	15	1	✓	✓			11	7	29	5	3	15
1238	200	38		✓	✓			17	7	47	8	6	32
1239	492	86	3	✓				17	13	86	15	18	64
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1240	333	49	1	✓	✓			14	7	46	10	37	43
1241	235	53		✓	✓			12	7	36	8	29	33
1242	400	90	3	✓				12	13	74	17	58	78
1243	215	55	1	✓	✓			13	10	47	3	9	55
1244	1092	134	3	✓				19	17	149	16	66	110
1245	2296	390	76	✓				19	15	139	28	168	210
1246	4259	582	218	✓				19	17	179	41	212	266
1247	735	128	1	✓	✓			15	11	78	12	86	110
1248	1027	156	15	✓				19	11	108	18	50	70
1249	2763	407	202	✓				22	16	183	36	153	191
1250	749	72	18	✓	✓			12	13	78	15	26	48
1251	1222	140	2	✓				19	13	115	19	52	64
1252				✕			✓	19	16	176	56	238	370
1253				✕			✓	19	17	172	51	264	368
1254	1731	340	362	✓				19	14	110	20	192	224
1255	903	164	3	✓	✓			12	12	62	10	146	160
1256	674	150	1	✓	✓			12	12	66	11	134	142
1257				✕				15	15	105	28	77	105
1258	90	23		✓	✓			11	6	29	6	3	23
1259	152	37	1	✓	✓			13	8	35	7	3	35
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1260	202	51		✓	✓			11	11	45	5	41	45
1261	168	43	1	✓	✓			11	11	44	5	41	43
1262	280	77	1	✓	✓			13	11	68	14	27	65
1263	250	60		✓	✓			11	13	54	7	10	40
1264	624	122	1	✓	✓			15	17	80	11	26	58
1265	328	90		✓	✓			14	10	57	10	24	66
1266	396	111	1	✓	✓			11	10	57	15	35	45
1267	873	105	16	✓				14	17	109	18	43	71
1268	547	162	2	✓	✓			14	11	68	14	84	130
1269	354	98		✓	✓			13	11	53	9	58	76
1270	207	51	1	✓	✓			12	9	44	8	35	49
1271	460	102	2	✓	✓			11	10	50	14	46	60
1272	1699	392	216	✓				19	15	141	37	304	308
1273	1599	562	37	✓	✓			19	13	115	19	434	446
1274	133	28	1	✓	✓			10	7	36	11	16	26
1275	444	70	1	✓	✓			12	9	60	16	26	46
1276	1278	376	132	✓				13	15	104	32	252	266
1277	250	58	1	✓	✓			15	9	53	7	32	42
1278	243	61	1	✓	✓			19	11	68	12	37	61
1279	1158	198	8	✓	✓			15	13	85	14	68	90
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1280	615	112	2	✓				19	9	82	17	44	60
1281	391	99	1	✓	✓			15	9	61	10	37	63
1282	294	65		✓	✓			13	9	47	12	19	33
1283	1321	256	59	✓				19	15	129	28	126	170
1284	745	235	2	✓				16	16	104	12	143	197
1285	543	148	1	✓	✓			13	12	65	10	52	110
1286	242	54	1	✓	✓			13	10	50	8	32	34
1287	1057	272	3	✓	✓			19	11	95	14	116	150
1288	2353	522	202	✓				19	17	170	39	214	312
1289	304	77	1	✓	✓			13	12	60	9	65	67
1290	230	65	1	✓	✓			17	8	47	8	27	53
1291	1465	254	182	✓				17	17	159	34	64	116
1292	479	97	5	✓	✓			14	11	63	11	17	89
1293	234	38	1	✓	✓			8	15	60	11	12	28
1294	1152	138	25	✓				15	15	122	25	28	68
1295	447	76	1	✓	✓			13	11	68	13	30	56
1296	306	89	1	✓	✓			13	11	68	11	25	61
1297	2698	314	416	✓				15	14	105	20	192	226
1298	3952	337	488	✓				15	14	110	21	185	237
1299	330	58	4	✓	✓			11	9	42	8	42	52
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1300	619	105	1	✓	✓			14	14	74	14	69	69
1301	393	53		✓	✓			10	11	47	9	35	49
1302	1192	226	164	✓				15	14	101	23	96	102
1303	389	72	1	✓	✓			13	13	79	19	40	52
1304	656	123	119	✓				15	13	93	22	45	65
1305	488	126	2	✓				18	14	108	24	54	60
1306	637	132	1	✓	✓			13	15	80	10	84	128
1307	1098	212	2	✓	✓			19	17	137	14	138	210
1308	473	91	1	✓	✓			9	14	58	10	41	53
1309	993	161	4	✓	✓			9	14	59	12	53	75
1310				✕				17	14	122	28	127	177
1311	531	126	28	✓	✓			15	15	101	21	48	124
1312	266	78		✓	✓			9	11	45	11	72	74
1313	253	83	1	✓	✓			9	11	48	14	61	69
1314	1060	218	20	✓				17	17	142	26	116	140
1315	1203	248	5	✓				15	15	106	22	62	98
1316	320	70	1	✓	✓			13	13	66	11	22	58
1317	311	50	1	✓	✓			10	9	38	8	4	32
1318	1028	180	3	✓				17	10	72	18	12	64
1319	436	48	2	✓	✓			11	11	64	15	18	32
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1320	1300	172	348	✓				19	11	113	27	34	80
1321	722	206	7	✓				19	11	87	19	100	130
1322	138	24		✓	✓			11	10	49	11	6	22
1323	1120	182	308	✓	✓			18	11	97	23	12	48
1324	638	154	4	✓				13	13	79	19	48	64
1325				✕			✓	16	12	129	45	155	167
1326	390	52		✓	✓			16	7	59	14	18	26
1327	729	130	122	✓				12	13	87	20	24	44
1328	1824	274	232	✓				19	13	145	34	36	92
1329				✕			✓	19	15	205	77	66	217
1330	2141	172	203	✓				15	15	126	29	48	70
1331				✕			✓	19	16	132	40	72	108
1332	1813	305	266	✓				19	16	188	60	107	181
1333	391	91	1	✓	✓			11	11	54	10	67	83
1334	1332	270	201	✓				17	17	159	32	122	188
1335	507	75	2	✓	✓			12	13	77	11	13	45
1336	1256	230	30	✓				13	14	111	42	60	78
1337	354	54	1	✓	✓			9	10	44	13	18	34
1338	375	56	1	✓	✓			9	10	41	9	36	46
1339	849	126	5	✓				15	10	79	18	72	94
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1340	487	78	4	✓	✓			11	13	75	16	12	56
1341				✕			✓	18	10	96	27	54	122
1342				✕			✓	18	17	190	61	118	210
1343	654	151	1	✓	✓			15	12	68	13	13	65
1344	3166	322	287	✓				19	15	115	22	24	66
1345	474	130	7	✓	✓			13	13	76	24	64	78
1346	156	40	1	✓	✓			11	10	37	8	12	20
1347	761	162	3	✓	✓			18	9	74	16	62	102
1348	1293	316	24	✓				18	13	138	34	104	188
1349	610	102	4	✓	✓			17	16	89	20	54	66
1350	840	180	14	✓				17	11	88	22	62	76
1351	176	52	1	✓	✓			10	10	46	10	18	48
1352	363	108	9	✓				10	16	80	20	36	70
1353	539	92	2	✓	✓			13	13	73	14	34	70
1354	446	80		✓	✓			12	9	46	7	68	74
1355	492	85	4	✓	✓			12	9	47	8	65	75
1356	411	86	2	✓	✓			11	9	44	9	72	76
1357	505	117	2	✓	✓			15	10	62	13	81	99
1358	1111	246	289	✓				15	13	98	24	154	186
1359	392	71	2	✓	✓			19	10	82	15	7	55
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1360	441	56	2	✓	✓			13	15	58	13	26	42
1361	1022	142	2	✓				13	13	92	25	38	76
1362	1433	254	2	✓				16	14	100	14	122	210
1363	468	154	2	✓				14	17	110	16	66	134
1364	902	145	1	✓	✓			19	12	112	13	37	41
1365	425	110	1	✓	✓			10	12	57	12	78	102
1366				✕		✓ Festival 3.0		19	12	122	25	149	213
1367	929	251	3	✓				18	17	128	20	151	173
1368	1828	206	6	✓				17	16	138	31	76	94
1369	391	63	1	✓	✓			11	11	66	16	47	51
1370	425	54	4	✓				17	9	84	23	38	44
1371	495	66	1	✓	✓			14	11	65	12	42	48
1372	314	71	1	✓	✓			19	6	57	12	41	55
1373	470	102	6	✓				19	11	111	20	82	98
1374	246	31	1	✓	✓			12	13	57	5	9	23
1375	387	41		✓	✓			11	13	60	6	23	33
1376	314	76	3	✓	✓			11	11	43	12	14	32
1377	764	178	1	✓	✓			14	10	60	13	88	130
1378	293	84	1	✓	✓			17	7	55	12	44	72
1379	1396	359	10	✓	✓			16	13	96	14	285	303
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1380	533	120	3	✓	✓			15	14	77	15	24	72
1381				✕			✓	19	17	164	35	96	158
1382	1239	261	53	✓				17	17	125	29	89	113
1383	992	192	44	✓				13	16	76	19	42	92
1384	418	76	1	✓	✓			11	9	55	16	42	48
1385	447	70	2	✓				13	13	64	16	20	32
1386	145	23	1	✓	✓			11	7	31	7	9	19
1387	576	102	2	✓	✓			21	7	63	14	18	72
1388	333	44	1	✓	✓			19	7	58	13	16	38
1389	403	104	114	✓	✓			13	14	78	15	16	62
1390	545	102	91	✓				13	14	96	32	32	48
1391	307	36	1	✓	✓			12	12	58	9	14	22
1392	1095	92	42	✓				19	13	113	22	28	54
1393	644	119	1	✓				16	11	78	15	11	83
1394				✕			✓	17	17	150	45	12	152
1395	2155	376	11	✓				17	15	118	21	308	330
1396	364	55	1	✓	✓			12	8	39	6	17	43
1397	321	63	1	✓	✓			17	9	64	15	33	43
1398	1029	162	257	✓				15	17	135	30	58	98
1399	971	230	163	✓				15	14	81	21	86	130
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1400	109	22		✓	✓			11	7	39	9	8	22
1401	880	176	2	✓	✓			17	10	72	14	12	54
1402	66	16		✓	✓			10	8	30	6	4	16
1403	1044	196	28	✓	✓			15	13	83	16	18	40
1404	1404	200	13	✓				15	13	85	16	18	44
1405	1964	459	16	✓				17	16	128	23	369	385
1406	445	73	2	✓	✓			11	13	68	11	17	45
1407	1839	193	5	✓				17	11	95	19	27	63
1408	1354	174	95	✓				17	17	135	24	70	88
1409	882	94	30	✓				13	14	86	18	38	60
1410	1010	114	18	✓				13	14	86	18	36	60
1411	2412	297	169	✓				14	14	110	28	59	103
1412	155	26	1	✓	✓			8	8	30	7	16	24
1413	228	33	1	✓	✓			8	9	35	8	19	31
1414	354	48	1	✓	✓			8	11	46	12	32	44
1415	904	162	5	✓				8	13	55	13	46	64
1416	1122	210	77	✓				8	15	65	16	64	86
1417	694	150	42	✓				8	17	73	17	88	110
1418				✕			✓	18	17	154	38	362	380
1419	647	145	2	✓				18	14	113	12	67	103
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1420				✕			✓	15	15	124	31	74	106
1421	855	116	6	✓				15	17	114	16	20	64
1422	178	31	1	✓	✓			13	8	38	7	13	23
1423	247	62		✓	✓			11	8	37	8	18	50
1424				✕			✓	19	15	145	34	70	208
1425	779	147	3	✓				19	8	73	19	35	101
1426				✕			✓	19	15	149	40	64	224
1427	44	10		✓	✓			9	7	22	4	8	10
1428	608	44	2	✓	✓			14	14	74	9	24	38
1429	520	51	1	✓	✓			14	12	71	9	31	43
1430	532	112	33	✓	✓			16	13	79	11	40	88
1431	357	71	1	✓	✓			13	9	36	6	35	49
1432	192	56	1	✓	✓			12	9	32	6	22	38
1433	145	35		✓	✓			9	9	37	8	27	33
1434	1432	312	130	✓				17	14	126	28	176	214
1435	1469	227	23	✓				15	15	110	19	163	175
1436	847	196	1	✓	✓			18	8	68	11	154	170
1437	463	156	14	✓				13	11	69	14	40	88
1438	162	40	1	✓	✓			11	6	28	6	14	38
1439	222	36	1	✓	✓			11	6	30	6	18	26
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1440	220	41		✓	✓			11	6	31	8	19	27
1441	210	31	1	✓	✓			10	9	44	10	23	29
1442	713	108	9	✓				19	9	91	20	48	72
1443	721	134	2	✓				17	9	82	19	46	62
1444	233	41		✓	✓			12	10	52	11	3	31
1445	427	108	1	✓	✓			17	9	56	13	12	48
1446	441	84	3	✓	✓			19	9	65	14	22	70
1447	976	120	9	✓	✓			19	10	82	17	22	66
1448	194	46	1	✓	✓			9	11	47	8	16	46
1449	1619	298	13	✓				12	13	82	21	136	152
1450	165	43	1	✓	✓			13	9	47	15	21	33
1451	445	107	4	✓	✓			13	12	64	21	39	51
1452	849	117		✓	✓			13	10	57	8	87	105
1453	505	176	68	✓				11	13	79	17	158	174
1454	506	134	1	✓	✓			12	12	73	18	98	110
1455	213	41		✓	✓			9	10	41	12	13	31
1456	277	47	1	✓	✓			11	10	49	15	17	23
1457	1079	185	10	✓				11	15	85	29	33	65
1458	871	93	7	✓				17	11	100	18	35	79
1459	1250	196	39	✓				13	13	97	32	32	34
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1460	398	86	2	✓	✓			11	11	57	16	28	32
1461	409	54	3	✓	✓			11	11	65	20	22	36
1462	2318	406	241	✓				17	17	167	60	60	78
1463	824	126	3	✓	✓			19	8	69	14	44	76
1464	359	100	8	✓	✓			15	8	49	11	64	94
1465	1337	257	32	✓				19	14	98	24	59	109
1466	408	100	1	✓	✓			14	8	52	9	66	86
1467	299	47	1	✓	✓			12	8	45	10	7	39
1468	1372	273	80	✓				17	11	97	22	131	153
1469	336	95	1	✓	✓			13	8	50	12	35	55
1470	848	154	214	✓				18	13	98	24	58	116
1471	363	65	1	✓	✓			9	13	49	10	33	43
1472	441	122	16	✓				9	16	73	16	68	88
1473	791	143	2	✓				13	15	96	22	71	91
1474	313	72	2	✓	✓			9	14	52	9	22	58
1475	189	42		✓	✓			9	12	47	8	20	36
1476	1034	217	70	✓				15	17	119	24	131	155
1477	731	203	2	✓	✓			14	12	80	16	155	185
1478	162	38	1	✓	✓			13	11	59	12	12	34
1479	554	130	1	✓				15	12	74	16	72	80
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1480	487	113	1	✓				15	10	69	17	77	95
1481	134	24	1	✓	✓			10	12	46	8	2	24
1482	790	134	1	✓	✓			13	13	90	24	24	28
1483	342	54	1	✓	✓			11	11	53	12	12	14
1484	359	47	1	✓	✓			13	9	56	11	13	19
1485	347	49		✓	✓			13	9	52	11	13	19
1486	712	112	5	✓				13	13	89	24	24	26
1487	485	94		✓	✓			11	11	50	14	18	34
1488	1034	228	2	✓				17	17	90	14	40	80
1489	722	92	2	✓				17	17	116	13	44	60
1490	368	80	1	✓	✓			12	12	71	14	20	60
1491				✕				17	17	169	52	80	206
1492	302	80		✓	✓			13	10	56	12	28	68
1493	298	64	1	✓	✓			15	7	41	8	28	62
1494	259	76	1	✓	✓			15	7	42	10	26	62
1495	270	70	1	✓	✓			14	7	38	7	52	60
1496	175	52		✓	✓			12	7	31	5	22	50
1497	533	142	21	✓	✓			13	12	64	12	44	110
1498	208	38	1	✓	✓			13	7	43	9	10	30
1499	297	102		✓	✓			13	8	43	9	20	54
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1500	99	31	1	✓	✓			13	6	33	8	5	31
1501	665	106	3	✓	✓			11	13	67	15	10	50
1502	472	112	3	✓	✓			11	13	74	15	50	68
1503	529	78	2	✓	✓			11	13	66	11	16	32
1504	481	54		✓	✓			11	11	60	9	16	30
1505	287	34	1	✓	✓			11	11	60	12	16	30
1506	1543	218	242	✓				17	13	90	27	8	64
1507				✕			✓	19	17	121	37	15	93
1508	2758	230	38	✓				17	15	130	32	8	72
1509				✕				13	16	107	27	12	70
1510	938	152	12	✓				11	14	83	20	10	52
1511	332	74	3	✓	✓			11	12	62	14	8	36
1512	110	20	1	✓	✓			9	10	37	6	4	16
1513				✕			✓	19	17	187	54	1418	1498
1514	630	104	1	✓	✓			12	12	71	11	54	90
1515	1135	288	4	✓				17	14	111	21	268	280
1516	419	86	59	✓	✓			7	15	57	15	22	62
1517	983	185	11	✓	✓			13	13	86	21	51	59
1518	192	36	1	✓	✓			13	8	43	8	12	34
1519	427	72	2	✓	✓			18	8	62	14	24	56
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1520	398	70	2	✓	✓			16	9	56	14	22	48
1521	359	54	2	✓	✓			17	8	61	15	24	42
1522	523	96	10	✓	✓			17	8	63	16	24	48
1523	434	64	3	✓	✓			12	12	57	15	24	60
1524	82	18	1	✓	✓			11	7	27	6	10	16
1525	215	28		✓	✓			13	9	44	7	10	28
1526	124	23	1	✓	✓			10	9	35	7	1	23
1527	314	60	2	✓	✓			12	10	60	14	24	50
1528	311	56	1	✓	✓			15	13	77	12	20	54
1529	166	30	1	✓	✓			11	9	38	9	8	22
1530				✕		✓ Sokolution 6.01		15	15	129	40	16	76
1531	594	88	53	✓	✓			13	11	72	15	12	30
1532	460	72	1	✓	✓			11	12	53	6	28	50
1533	2000	270	165	✓				21	12	107	14	74	136
1534	430	70	1	✓	✓			10	12	55	13	12	60
1535	289	32	1	✓	✓			11	10	48	11	8	26
1536	373	83	1	✓	✓			17	8	60	14	29	47
1537	741	152	1	✓	✓			17	9	67	13	20	46
1538	391	59		✓	✓			11	9	40	9	11	37
1539	299	45	1	✓	✓			12	8	41	9	11	33
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1540	205	45	1	✓	✓			12	8	39	9	11	37
1541	338	43	1	✓	✓			11	10	54	9	17	41
1542	728	138	5	✓	✓			17	9	73	14	10	70
1543	275	41	1	✓	✓			10	8	38	6	27	39
1544	166	30		✓	✓			11	11	57	9	12	24
1545	182	26	1	✓	✓			11	11	56	9	12	24
1546	625	52	3	✓	✓			13	13	77	13	12	46
1547	515	73	78	✓	✓			11	11	68	17	15	57
1548	236	70	1	✓	✓			9	12	45	15	38	52
1549	142	43	1	✓	✓			9	10	34	12	21	35
1550	507	70	1	✓	✓			11	11	55	16	10	36
1551	368	76	6	✓	✓			12	11	74	18	14	60
1552	239	23	1	✓	✓			12	8	41	6	9	21
1553	379	44	1	✓	✓			13	8	54	12	6	32
1554	547	88	1	✓	✓			10	10	46	7	72	76
1555	550	86	7	✓	✓			9	14	64	17	6	52
1556	655	126	2	✓				17	8	62	13	68	92
1557	508	62	1	✓	✓			11	11	62	12	20	44
1558	295	66	1	✓	✓			11	11	46	9	36	42
1559	99	22		✓	✓			9	9	36	9	16	16
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1560	2475	306	149	✓				15	15	152	54	54	60
1561	1061	227	4	✓	✓			16	10	72	8	53	173
1562	380	90		✓	✓			11	10	43	5	28	58
1563	425	77	2	✓	✓			13	10	49	8	19	75
1564	374	80	1	✓	✓			14	9	50	15	26	48
1565	256	56	1	✓	✓			13	9	51	14	8	42
1566	3372	571	9	✓				15	16	118	15	475	495
1567	485	161	1	✓	✓			13	12	77	12	85	157
1568	150	37	1	✓	✓			11	8	33	6	21	31
1569	343	58	1	✓	✓			10	9	40	11	14	32
1570	354	72	2	✓	✓			11	8	49	13	4	44
1571	96	24	1	✓	✓			9	8	31	6	4	18
1572	1148	200	81	✓				15	9	75	23	90	104
1573	844	152	7	✓				15	9	75	23	92	96
1574	718	273	8	✓	✓			17	11	91	20	199	219
1575	183	40	1	✓	✓			12	11	40	8	18	28
1576	100	32	1	✓	✓			11	9	35	8	12	28
1577	47	16		✓	✓			7	7	19	4	6	16
1578	179	52	1	✓	✓			9	9	35	9	30	36
1579	199	35	1	✓	✓			13	8	40	9	21	35
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1580	335	60	2	✓	✓			11	11	65	14	12	38
1581	217	36		✓	✓			11	9	45	9	12	24
1582	194	48	1	✓	✓			9	9	43	11	12	26
1583	2145	382	30	✓				19	13	129	13	234	310
1584	2712	266	207	✓				19	17	204	49	18	96
1585	155	33	1	✓	✓			10	8	31	7	3	27
1586	165	15		✓	✓			9	8	32	4	9	11
1587	778	106	2	✓	✓			15	13	93	14	18	50
1588	690	74	1	✓	✓			13	13	81	11	18	40
1589	1139	110	63	✓				13	15	108	24	68	72
1590	266	28	1	✓	✓			14	12	71	8	6	26
1591	146	24	1	✓	✓			10	10	38	6	8	22
1592	280	72	2	✓	✓			16	8	54	12	12	56
1593	861	268	6	✓				15	11	79	18	226	248
1594	166	32	1	✓	✓			12	9	38	8	8	28
1595	419	115	1	✓	✓			15	9	49	11	13	41
1596	508	96	1	✓	✓			14	12	66	11	14	34
1597	813	207	31	✓				12	11	65	18	121	167
1598	947	213	2	✓				15	13	110	30	103	121
1599	141	39		✓	✓			10	11	41	8	11	29
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1600	72	16	1	✓	✓			8	8	24	5	6	16
1601	64	16	1	✓	✓			8	10	27	4	8	14
1602	2639	612	28	✓				18	13	117	17	488	558
1603	231	46	1	✓	✓			11	9	35	9	40	42
1604	2015	375	10	✓				18	10	102	19	235	289
1605	2355	438	14	✓				19	11	117	26	312	370
1606	244	50	1	✓	✓			11	11	46	10	28	44
1607	2735	1128	29	✓				18	17	170	55	1050	1052
1608	981	174	2	✓	✓			12	12	57	8	130	160
1609	859	207	1	✓	✓			17	14	95	15	145	161
1610	467	81	1	✓	✓			12	11	58	13	13	49
1611	671	134	1	✓	✓			10	11	49	9	106	108
1612	457	72	1	✓	✓			11	12	71	17	4	34
1613	151	32	1	✓	✓			11	11	41	8	14	32
1614	396	62	1	✓	✓			17	8	59	10	28	38
1615	342	69	1	✓	✓			11	11	59	12	19	29
1616	559	99	3	✓				15	15	83	20	61	79
1617	378	74		✓	✓			11	11	49	11	44	58
1618	117	28	1	✓	✓			11	9	39	7	8	26
1619	562	103	1	✓	✓			19	7	57	15	65	73
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1620	3617	626	29	✓				17	17	157	48	180	214
1621	1585	241	3	✓				19	11	96	13	173	203
1622	607	72	3	✓	✓			13	12	64	11	4	46
1623	3884	320	307	✓				17	17	192	68	1	94
1624	773	116	10	✓				13	13	80	20	20	54
1625	424	90	1	✓	✓			10	13	54	10	44	60
1626	1042	141	5	✓				19	10	79	12	71	91
1627	476	80	1	✓	✓			19	8	57	9	42	60
1628	368	52	1	✓	✓			11	10	43	8	26	40
1629	701	141	1	✓	✓			14	11	62	9	79	121
1630	711	134	9	✓				13	11	75	21	22	44
1631	80	13		✓	✓			7	9	25	4	5	13
1632	54	12	1	✓	✓			7	7	19	4	2	12
1633	94	20		✓	✓			10	8	30	3	6	16
1634	185	28	1	✓	✓			11	11	43	5	16	18
1635	280	64	1	✓	✓			12	12	48	12	12	42
1636	99	16	1	✓	✓			7	11	29	6	10	16
1637	572	171	1	✓	✓			17	10	67	13	105	123
1638	510	142	1	✓	✓			13	9	65	19	108	128
1639	641	174	3	✓	✓			13	13	80	13	28	74
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1640	114	16	1	✓	✓			11	7	31	7	10	16
1641	64	12	1	✓	✓			9	9	31	6	2	12
1642	407	75	1	✓	✓			11	9	48	7	37	39
1643	842	132	1	✓	✓			11	12	66	9	74	76
1644	377	42		✓	✓			13	11	58	8	40	42
1645	253	44	1	✓	✓			10	10	40	6	4	32
1646	93	18		✓	✓			11	9	39	5	8	16
1647	231	36	1	✓	✓			10	10	47	8	22	34
1648	155	35	1	✓	✓			10	11	35	3	11	33
1649	181	39		✓	✓			11	10	38	4	11	37
1650	83	20	1	✓	✓			9	7	26	6	6	18
1651	59	16		✓	✓			9	8	30	5	4	16
1652	120	32	1	✓	✓			11	12	52	8	20	24
1653	249	58	1	✓	✓			17	9	66	13	34	44
1654	106	14	1	✓	✓			8	11	35	4	4	12
1655	439	105		✓	✓			17	9	56	12	61	79
1656	478	52	2	✓	✓			14	10	57	10	22	42
1657	144	18		✓	✓			10	10	38	6	12	12
1658	271	57	1	✓	✓			12	12	48	8	35	41
1659	149	19	1	✓	✓			15	8	50	9	3	19
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1660	118	22		✓	✓			13	9	45	5	8	18
1661	288	63	1	✓	✓			13	10	52	12	9	45
1662	513	75	2	✓				13	11	77	17	27	45
1663	89	22	1	✓	✓			11	7	28	7	10	20
1664	204	46	1	✓	✓			13	9	53	9	30	32
1665	120	33		✓	✓			13	6	37	9	15	23
1666	512	106	1	✓	✓			18	11	72	6	94	94
1667	286	51	1	✓	✓			12	8	42	9	37	41
1668	632	129	1	✓	✓			12	10	56	7	57	101
1669	1211	184	21	✓	✓			15	13	79	9	102	140
1670	446	129	1	✓				14	10	61	20	83	97
1671	139	30	1	✓	✓			10	7	28	7	10	26
1672	203	22		✓	✓			13	7	48	10	10	18
1673	276	42	1	✓	✓			13	11	55	8	12	32
1674	1950	304	45	✓				15	15	98	22	132	132
1675	606	110	5	✓	✓			13	12	72	18	64	84
1676	1777	284	17	✓				18	10	78	11	210	226
1677	371	108	2	✓	✓			12	12	57	15	90	96
1678	1471	264	14	✓				13	15	94	17	138	192
1679	409	77		✓	✓			14	8	43	6	63	77
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1680	289	92	1	✓	✓			13	10	56	8	34	58
1681	152	26	1	✓	✓			9	11	43	10	12	24
1682	138	27	1	✓	✓			9	8	29	5	5	21
1683	397	68	8	✓	✓			9	11	40	8	10	60
1684	761	116	37	✓				18	10	97	25	2	42
1685	401	44	2	✓	✓			13	11	67	16	24	32
1686	269	33	2	✓	✓			10	8	39	11	17	27
1687	336	44		✓	✓			15	10	59	9	8	28
1688	352	43	1	✓	✓			10	12	52	7	3	37
1689	255	36	1	✓	✓			12	9	52	14	10	26
1690	1236	118	174	✓				12	13	82	25	12	56
1691	674	96	1	✓	✓			13	13	88	14	20	24
1692	383	56	1	✓	✓			11	10	50	11	32	50
1693	222	38		✓	✓			11	10	45	4	38	38
1694	571	71	2	✓	✓			13	12	60	10	61	67
1695	111	30		✓	✓			12	8	39	6	14	26
1696	635	86	2	✓	✓			10	14	66	13	44	56
1697	138	20		✓	✓			8	8	26	5	10	18
1698	350	110	1	✓	✓			10	12	50	15	86	90
1699	463	107	5	✓				9	13	64	23	53	59
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1700	554	148	1	✓	✓			11	12	54	15	74	74
1701	182	41	1	✓	✓			9	9	39	7	11	27
1702	343	60	1	✓	✓			11	9	47	15	36	48
1703	382	62	1	✓	✓			11	14	65	15	14	34
1704	252	63	1	✓	✓			13	9	49	9	25	49
1705	3191	645	34	✓	✓			16	15	115	16	535	579
1706	146	35	1	✓	✓			13	8	47	10	9	31
1707	345	66		✓	✓			11	9	44	9	60	62
1708	343	70	1	✓	✓			9	11	45	7	16	46
1709	257	31	1	✓	✓			13	9	52	8	9	29
1710	336	48	2	✓	✓			15	9	72	16	12	30
1711	1643	263	126	✓				17	17	129	32	49	73
1712	185	36	1	✓	✓			11	11	42	8	4	24
1713	82	17		✓	✓			11	8	35	8	11	17
1714	208	59	1	✓	✓			12	12	44	11	39	41
1715	415	88	1	✓	✓			11	11	55	14	34	38
1716	215	48		✓	✓			12	10	52	12	28	36
1717	499	101	15	✓	✓			12	12	70	24	41	45
1718	240	35	1	✓	✓			11	9	45	10	23	29
1719	2171	177	4	✓	✓			11	14	70	9	77	155
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1720	3879	244	65	✓	✓			16	15	102	12	106	200
1721	9038	565	50	✓				17	16	118	17	265	513
1722	7888	676	117	✓				15	15	113	14	304	548
1723				✕				15	14	115	22	269	399
1724	120	23		✓	✓			8	8	29	6	15	17
1725	844	128	5	✓	✓			11	12	70	17	12	42
1726	579	114		✓	✓			12	9	47	8	66	70
1727	874	250	2	✓				14	10	72	18	222	238
1728	86	24	1	✓	✓			8	6	18	4	14	18
1729	1003	240	35	✓	✓			9	15	66	15	6	56
1730	138	30	1	✓	✓			10	10	44	12	28	28
1731	561	115	1	✓	✓			15	11	64	9	103	111
1732	110	12	1	✓	✓			11	9	41	8	12	12
1733	148	28	1	✓	✓			9	9	39	10	16	28
1734	79	12		✓	✓			11	7	34	6	8	12
1735	349	52	1	✓	✓			7	13	49	12	20	32
1736	206	34		✓	✓			13	11	53	5	16	32
1737	213	62	2	✓	✓			13	9	48	9	18	58
1738	364	46	1	✓	✓			9	10	39	7	6	34
1739	431	147	1	✓	✓			12	13	56	12	103	117
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1740	954	163		✓	✓			12	13	67	10	157	157
1741	259	74	1	✓	✓			12	10	42	8	56	56
1742	605	101		✓	✓			13	10	61	10	71	87
1743	668	263	1	✓	✓			13	13	87	14	235	249
1744	62	20	1	✓	✓			6	10	28	6	16	18
1745	139	29		✓	✓			8	10	36	9	13	23
1746	33	11	1	✓	✓			8	8	24	5	9	11
1747	61	17	1	✓	✓			8	7	23	7	13	15
1748	117	23		✓	✓			8	7	24	6	7	17
1749	224	50	1	✓	✓			11	11	47	8	38	46
1750	240	24		✓	✓			11	13	56	8	2	20
1751	367	46	1	✓	✓			9	11	48	10	14	28
1752	102	24	1	✓	✓			11	8	34	8	18	20
1753	76	27		✓	✓			11	7	31	7	21	27
1754	530	62	2	✓	✓			14	13	84	13	22	46
1755	78	10		✓	✓			8	8	25	5	8	10
1756	405	80	1	✓	✓			14	8	48	4	80	80
1757	620	108	3	✓	✓			15	8	57	10	58	82
1758	198	40		✓	✓			7	11	35	8	16	40
1759	1186	248	8	✓	✓			15	17	132	28	72	94
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1760	722	76	8	✓	✓			11	15	77	18	20	44
1761	124	24	1	✓	✓			11	8	36	8	14	18
1762	203	41		✓	✓			9	8	34	7	27	31
1763	97	18	1	✓	✓			9	9	38	6	14	16
1764	181	18		✓	✓			11	9	43	7	8	14
1765	352	45	1	✓	✓			11	11	56	6	33	37
1766	380	128	1	✓	✓			9	12	56	16	94	98
1767	301	96		✓				9	12	55	16	76	84
1768	120	21	1	✓	✓			8	8	28	8	15	17
1769	87	20		✓	✓			10	7	24	4	6	18
1770	140	18	1	✓	✓			9	9	38	6	10	14
1771	104	12	1	✓	✓			9	7	29	6	12	12
1772	29	12		✓	✓			9	7	22	6	6	12
1773	384	60	1	✓	✓			11	12	59	10	4	32
1774	475	132	1	✓	✓			13	10	45	7	82	98
1775	182	33	1	✓	✓			14	9	42	5	1	25
1776	68	14	1	✓	✓			7	9	27	6	10	14
1777	512	71	20	✓	✓			15	17	115	20	15	59
1778	106	22		✓	✓			9	9	31	6	6	20
1779	114	26	1	✓	✓			7	10	34	8	6	20
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1780	110	26	1	✓	✓			9	9	31	7	12	18
1781	374	54		✓	✓			8	10	33	4	32	38
1782	240	39	1	✓	✓			15	14	87	14	13	25
1783	154	36	1	✓	✓			11	7	37	8	28	36
1784	73	22	1	✓	✓			9	9	37	6	12	20
1785	367	88	1	✓	✓			14	9	53	11	56	70
1786	73	23		✓	✓			9	7	27	8	19	23
1787	91	18	1	✓	✓			8	12	45	6	4	16
1788	132	21	1	✓	✓			10	9	45	11	19	19
1789	560	106	2	✓				13	13	105	32	44	58
1790	779	145	1	✓	✓			15	13	83	15	97	113
1791	285	54	1	✓	✓			17	9	57	7	22	40
1792	135	31		✓	✓			10	8	29	6	13	29
1793	504	95	1	✓	✓			11	10	54	7	75	93
1794	108	30	1	✓	✓			12	8	33	7	2	26
1795	100	27	1	✓	✓			9	8	26	7	7	23
1796	144	42	2	✓	✓			9	11	51	12	8	36
1797	149	30	1	✓	✓			9	9	33	8	8	28
1798	82	10	1	✓	✓			8	8	27	5	4	10
1799	135	17	1	✓	✓			9	9	38	6	5	15
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1800	186	45	1	✓	✓			11	11	51	9	3	21
1801	45	11		✓	✓			8	7	23	5	1	11
1802	106	10	1	✓	✓			9	9	28	7	10	10
1803	121	20	1	✓	✓			10	8	34	7	10	18
1804	105	11	1	✓	✓			11	10	46	6	7	11
1805	69	25		✓	✓			8	7	25	6	17	23
1806	209	47	1	✓	✓			8	10	33	7	21	35
1807	193	37	1	✓	✓			10	9	41	10	27	31
1808	91	18		✓	✓			7	9	26	7	16	16
1809	153	53	1	✓	✓			14	7	38	8	39	53
1810	99	28	1	✓	✓			8	8	26	6	12	28
1811	310	101		✓	✓			11	10	51	9	75	99
1812	77	27	1	✓	✓			7	11	27	7	19	23
1813	32	9	1	✓	✓			7	7	18	3	3	9
1814	41	14		✓	✓			8	8	24	4	4	14
1815	88	30	1	✓	✓			11	8	34	6	14	20
1816	83	18	1	✓	✓			9	9	38	6	6	14
1817	164	17		✓	✓			9	10	42	6	3	13
1818	431	78	1	✓	✓			11	13	70	14	26	42
1819	201	37	1	✓	✓			12	12	61	12	33	37
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1820	233	32	1	✓	✓			11	11	49	9	20	26
1821	176	40	1	✓	✓			9	9	44	10	22	22
1822	45	22		✓	✓			9	9	32	12	20	22
1823	242	48	1	✓	✓			13	8	48	10	32	38
1824	128	21		✓	✓			7	9	27	6	17	19
1825	435	84	2	✓	✓			15	8	52	13	10	40
1826	254	49	1	✓	✓			12	10	47	12	17	41
1827	517	72	1	✓	✓			14	9	54	14	12	34
1828	57	12	1	✓	✓			8	8	24	3	6	10
1829	199	40	1	✓	✓			13	7	38	6	12	28
1830	886	212	1	✓				16	11	104	25	110	110
1831	427	117	1	✓	✓			14	8	50	11	103	103
1832	262	58	1	✓	✓			14	9	52	10	24	50
1833	213	35	1	✓	✓			12	7	37	10	13	23
1834	305	86		✓	✓			12	7	34	7	48	56
1835	538	118	8	✓	✓			11	12	66	15	44	82
1836	369	132		✓	✓			14	10	56	12	74	94
1837	54	16	1	✓	✓			8	7	22	5	4	16
1838	344	42	1	✓	✓			13	7	43	11	8	30
1839	158	34		✓	✓			10	9	41	11	12	24
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1840	372	46	1	✓	✓			11	8	43	8	12	22
1841	300	42	1	✓	✓			9	9	43	13	10	38
1842	371	51	1	✓	✓			9	9	43	12	13	39
1843	815	162	29	✓				12	10	54	16	16	48
1844	148	38		✓	✓			9	8	32	8	10	26
1845	556	110	2	✓	✓			13	9	58	16	22	54
1846				✕				17	17	132	40	40	120
1847	213	46		✓	✓			13	13	60	12	24	36
1848	439	79	1	✓	✓			11	9	53	14	53	63
1849	370	77	1	✓	✓			15	10	56	12	23	41
1850	336	83	1	✓	✓			11	10	48	13	23	49
1851	435	98	1	✓	✓			13	8	48	8	74	74
1852	557	110	2	✓	✓			16	9	63	15	44	68
1853	587	116	1	✓	✓			13	9	54	12	26	38
1854	70	14		✓	✓			11	8	33	5	2	14
1855	385	72	1	✓	✓			11	11	59	11	4	34
1856	174	50	1	✓	✓			12	8	36	9	26	44
1857	657	43	2	✓				13	15	90	17	15	29
1858	568	70	6	✓	✓			11	11	63	12	8	24
1859	348	54	6	✓	✓			10	10	50	12	8	44
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1860	246	50	1	✓	✓			15	7	44	8	22	40
1861	173	46		✓	✓			13	7	44	6	10	38
1862	191	48	1	✓	✓			13	7	44	6	10	32
1863	153	20		✓	✓			8	9	31	7	6	14
1864	302	78	2	✓	✓			15	9	55	14	14	48
1865	286	49		✓	✓			10	9	36	7	5	39
1866	511	108	8	✓	✓			16	9	64	14	12	52
1867	130	26	1	✓	✓			9	7	33	10	10	18
1868	830	101	202	✓				19	10	98	24	9	63
1869	260	26	1	✓	✓			15	10	67	8	10	24
1870	120	14	1	✓	✓			11	7	35	6	8	14
1871	55	9		✓	✓			8	9	29	5	5	9
1872	249	30	1	✓	✓			12	12	66	14	8	20
1873	321	48	1	✓	✓			13	13	70	13	18	44
1874	277	27	1	✓	✓			11	10	52	11	15	21
1875	225	56	1	✓	✓			14	9	44	10	20	40
1876	340	48		✓	✓			13	9	57	14	4	30
1877	213	57	1	✓	✓			10	8	37	9	41	53
1878	185	41	1	✓	✓			10	10	44	10	33	39
1879	295	50	2	✓	✓			15	9	67	13	10	38
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1880	821	106	9	✓				13	10	72	20	20	46
1881	637	111		✓	✓			11	10	54	12	63	79
1882	203	48	1	✓	✓			10	11	52	11	16	34
1883	927	208	1	✓	✓			16	12	83	9	182	192
1884	558	80	1	✓	✓			13	11	66	14	12	48
1885	308	26	1	✓	✓			13	11	67	10	4	26
1886	1092	240	1	✓	✓			11	15	68	12	2	38
1887	670	142	1	✓	✓			11	15	68	12	2	34
1888	197	40	1	✓	✓			9	11	50	12	16	34
1889	101	20	1	✓	✓			10	8	33	6	4	16
1890	598	153	1	✓	✓			13	13	81	27	69	87
1891	396	189	1	✓	✓			18	7	64	13	163	185
1892	1073	211	1	✓	✓			15	12	81	13	127	185
1893	52	15	1	✓	✓			9	10	32	6	9	15
1894	64	14	1	✓	✓			8	10	28	5	10	14
1895	100	24		✓	✓			8	10	29	6	10	16
1896	147	37	1	✓	✓			8	10	29	6	9	13
1897	36	12		✓	✓			8	9	25	4	10	12
1898	64	17	1	✓	✓			9	9	28	5	9	17
1899	1648	212	195	✓				17	17	152	35	2	104
Sven Egevad	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1900	260	48	2	✓	✓			17	11	73	16	12	32
1901	567	98	2	✓	✓			13	12	60	11	48	70
1902	157	33	1	✓	✓			10	7	33	9	19	29
1903	606	78	4	✓	✓			17	11	76	18	12	40
1904	426	116	3	✓	✓			15	9	58	13	84	104
1905	445	68	1	✓	✓			13	13	72	17	44	46
1906	731	114	96	✓				15	15	111	23	20	44
1907				✕				10	15	72	18	153	275
1908	149	33		✓	✓			10	9	36	8	9	31
1909	345	61	1	✓	✓			13	10	50	8	19	35
1910	295	46	1	✓	✓			7	11	39	11	10	32
1911	386	70	5	✓	✓			11	7	39	12	18	40
Solved levels	1072402	195256	34468	1872 of 1911	1474	9	22		Total	130409	30735	94054	138064
Solved levels, grand total	1072402	195256	34468	1872 of 1911	1474	9	22		Grand total	130409	30735	94054	138064


Solver	Festival
Version	3.1
Author	Yaron Shoham
Time limit	10 minutes
Solver settings	Default settings
Computer processor (CPU)	Intel(R) Core(TM) i7-10700F

Sokoban Solver Statistics Contact Sokoban Wiki LogoProgramming and Design: Brian Damgaard, Denmark

Large Test Suite Open Test Suite XSokoban Test Suite

Sokoban Solver Statistics - Festival 3.1 - Sven Egevad